Книга представляет собой цикл лекций, написанных в виде беседы с читателями. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной дисциплины. Это — задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова.

Книга рассчитана на студентов вузов.

Книги на ту же тему

1. История информатики в России: учёные и их школы, Захаров В. Н., Подловченко Р. И., Фет Я. И., сост., 2003
2. Дисциплина программирования, Дейкстра Э., 1978
3. Этюды для программистов, Уэзерелл Ч., 1982
4. Жемчужины программирования. 2-е издание, Бентли Д., 2002
5. Арифметика. Алгоритмы. Сложность вычислений: Популярное введение в теорию чисел и арифметическую теорию сложности, Гашков С. Б., Чубариков В. Н., 1996
6. Теория алгоритмов: основные открытия н приложения, Успенский В. А., Семёнов А. Л., 1987
7. Дискретная математика для программистов, Хаггарти Р., 2004
8. Введение в дискретную математику, Яблонский С. В., 1979