- Артикул:00-01117758
- Автор: А. П. Ершов
- Обложка: Твердая обложка
- Издательство: Наука (все книги издательства)
- Город: Москва
- Страниц: 288
- Формат: 60х90 1/16
- Год: 1977
- Вес: 436 г
- Серия: Учебное пособие для ВУЗов (все товары серии)
Развернуть ▼
Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это-задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова.
Книга рассчитана на студентов вузов.
Содержание
Предисловие
Часть I. Экономия памяти в операторных схемах
Глава 1. Содержательный анализ задачи
§ 1.1. Краткое повторение программирования
§ 1.2. Накопление фактов. Линейные программы
§ 1.3. Накопление фактов. Программы общего вида
§ 1.4. Накопление фактов. Подведение итогов
Глава 2. Постановка задачи и общая теория
§ 2.1. Краткое повторение математических основ
§ 2.2. Исходные определения
§ 2.3. Общая теория
Глава 3. Алгоритмизация
§ 3.1. Информационный граф
§ 3.3. Раскраска вершин графа. Общее исследование
§ 3.4. Раскраска вершин графа. Поиск алгоритма
Глава 4. Реализация
§ 4.1. Вступление
§ 4.2. Структурированное программирование
§ 4.3. Общая организация экономии памяти
§ 4.4. Каноническое распределение памяти
§ 4.5. Получение графа несовместимости
§ 4.6. Раскраска вершин графа
Глава 5. Заключительный анализ
§ 5.1. Связь с теорией и практикой
§ 5.2. Исторический обзор
Часть II. Преобразования схем Янова
Глава 6. Краткое повторение математической логики
§ 6.1. Логические формулы и булевы функции
§ 6.2. Алгебра логики
§ 6.3. Исчисление высказываний
Глава 7. Определение схем Янова
§ 7.1. Начальные наблюдения
§ 7.2. Поиск основных определении
§ 7.3. Эквивалентность схем Янова
Глава 8. Исчисление равносильных преобразований
§ 8.1. Построение исчисления
§ 8.2. Корректность исчисления
§ 8.3. Канонические схемы и технические теоремы
§ 8.4. Полнота исчисления
§ 8.5. Еще один исторический обзор
Указатель терминов