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