Введение в теоретическое программирование (беседы о методе)
Описание
Информация
Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две/классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это - задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов.
Русский![[Не подделка]](http://old-dos.ru/img/nofake.png){kind=small}
