Введение в теоретическое программирование. Беседы о методе А. Ершов

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