Введенпе в теоретическое программированию

Аннотация

Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической . Это — задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова.