Введение в теоретическое программирование
Ершов А.П.
Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две/классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это — задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов
Рік:
1977
Видавництво:
Наука
Мова:
russian
Сторінки:
288
Файл:
DJVU, 6.21 MB
IPFS:
,
russian, 1977