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