Учебное пособие. — М.: Наука, 1977. — 288 с.: ил.
Книга представляет собой цикл лекций, написанных в виде беседы с
читателем. Подробно рассматриваются две классические задачи
теоретического программирования, решения которых и развитые на этих
решениях методы привели к созданию теоретического программирования
как самостоятельной математической дисциплины. Это — задача
экономии памяти в схемах Лаврова и задача построения полной системы
преобразований в схемах Янова.
Книга рассчитана на студентов вузов.
Допущено Министерством высшего и среднего специального образования
СССР в качестве учебного пособия для студентов вузов, обучающихся
по специальности «Прикладная математика».
Содержание.
Экономия памяти в операторных схемах
Содержательный анализ задами.
Постановка задачи и общая теория.
Алгоритмизация.
Реализация.
Заключительный анализ.
Преобразования схем Янова
Краткое повторение математической логики.
Определение схем Янова.
Исчисление равносильных преобразований.
Указатель терминов
Экономия памяти в операторных схемах
Содержательный анализ задами.
Постановка задачи и общая теория.
Алгоритмизация.
Реализация.
Заключительный анализ.
Преобразования схем Янова
Краткое повторение математической логики.
Определение схем Янова.
Исчисление равносильных преобразований.
Указатель терминов