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