Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на зтих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это - задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова.
Книга рассчитана на студентов вузов.
ОГЛАВЛЕНИЕ
Предисловие................... ........ 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
Дополнительно: !!!ВНИМАНИЕ!!! Временно в Москве не встречаюсь! Отправляю почтой 1 раз в неделю. Также часть книг в данный момент для заказа недоступна (хранятся на складе, к которому сейчас нет доступа). Пожалуйста, перед заказом уточните наличие книги через форму "Спросить".
Почта:
При отправке книг почтой к стоимости книги прибавляется стоимость почтовых расходов. Оплатить можно на электронный кошелек Yoom... [подробнее]
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
Дополнительно: 1. Стоимость пересылки бандероли почтой России (вес до 500 гр) по России от 100 до 140 рублей
2. Стоимость пересылки бандероли почтой России (вес от 500 гр до 1000гр) по России от 150 до 250 рублей.