URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Ершов А.П. Введение в теоретическое программирование (беседы о методе)
Id: 13208
 
999 руб.

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

1977. 288 с. Твердый переплет. Букинист. Состояние: 4. .

 Аннотация

Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на зтих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это --- задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова.

Книга рассчитана на студентов вузов.


 ОГЛАВЛЕНИЕ

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

 
© URSS 2016.

Информация о Продавце