[Анфиса]

Введение в теоретическое программирование (беседы о методе)


Год: 1977
Автор: Ершов А.П.
Издательство: Наука
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы
Количество страниц: 288

Описание: Введение в теоретическое программирование (беседы о методе). А. П. Ершов. Главная редакция физико-математической литературы изд-ва «Наука», М., 1977. Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две/классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это — задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов.

Предисловие 5
Часть I
ЭКОНОМИЯ ПАМЯТИ В ОПЕРАТОРНЫХ СХЕМАХ
Г л а в а 1. Содержательный анализ задачи 9
§ 1.1. Краткое повторение программирования 9
§ 1.2. Накопление фактов. Линейные программы 14
§ 1.3. Накопление фактов. Программы общего вида 29
§ 1.4. Накопление фактов. Подведение итогов 43
1* л а в а 2. Постановка задачи и общая теория 52
§ 2.1. Краткое повторение математических основ 52
§ 2.2. Исходные определения 62
§ 2.3. Общая теория . . « 83
Глава 3. Алгоритмизация 90
§ 3.1. Информационный граф 90
§ 3.2. Граф несовместимости 99
§ 3.3. Раскраска вершин графа. Общее исследование 110
§ 3.4. Раскраска вершин графа. Поиск алгоритма 128
Глава 4. Реализация 143
§ 4.1. Вступлепие 143
§ 4.2. Структурированное программирование 145
§ 4.3. Общая организация экопомии памяти 151
§ 4.4. Каноническое распределение памяти 153
§ 4.5. Получение графа несовместимости 160
§ 4.6. Раскраска вершин графа 164
Глава 5. Заключительный анализ 108
§ 5.1. Связь, с теорией и практикой 163
3 о.2. Исторический обзор 179
Часть II ПРЕОБРАЗОВАНИЯ СХЕМ ЯНОВА
Глава 6. Краткое повторение математической логики 189
§ 6.1. Логические формулы и булевы функции 189
§ 6.2. Алгебра логики 200
§ 6.3. Исчисление высказываний 210
Глава 7. Определение схем Янова 22$
§ 7.1. Начальные наблюдения 22&
§ 7.2. Поиск основных определении 239
§ 7.3. Эквивалентность схем Янова 245
Глава 8. Исчисление равносильных преобразований 254
§ 8.1. Построение исчисления 254
§ 8.2. Корректность исчисления 265
§ 8.3. Канонические схемы и технические теоремы 270
II 8.4. Полиота исчисления 276
§ 8.5. Еще один исторйческий обзор 281
Указатель терминов 287