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