Введение в теоретическое программирование (беседы о методе). А. П. Ершов. Главная редакция физико-математической литературы изд-ва «Наука», М., 1977. Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две/классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это — задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов. Воспроизведено в оригинальной авторской орфографии издания 1977 года (издательство "Наука"). Это и многое другое вы найдете в книге Введение в теоретическое программирование (А. П. Ершов)