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