| Предисловие | 3
|
| Глава I. Абстрактная теория алгоритмов | 9
|
| § 1. Алфавитные операторы и алгоритмы | 9
|
| § 2. Нормальные алгоритмы | 19
|
| § 3. Алгоритмическая схема Колмогорова—Успенского | 29
|
| § 4. Другие теоретические алгоритмические системы | 34
|
| § 5. Понятие об алгоритмически неразрешимых проблемах | 40
|
| Глава II. Булевы функции и исчисление высказываний | 47
|
| § 1. Понятие о булевых функциях | 47
|
| § 2. Булева алгебра | 55
|
| 3. Понятие о полных наборах булевых операций | 67
|
| § 4. Применения булевой алгебры в теории комбинационных схем | 75
|
| § 5. Понятие об исчислении высказываний | 87
|
| Глава III. Теория автоматов | 99
|
| § 1. Абстрактные автоматы и автоматные отображения | 99
|
| §2. События и представление событий в автоматах | 107
|
| § 3. Анализ конечных автоматов | 112
|
| § 4. Абстрактный синтез конечных автоматов | 117
|
| § 5. Минимизация абстрактных автоматов | 124
|
| § 6. Структурный синтез конечных автоматов | 130
|
| Глава IV Самоорганизующиеся системы | 140
|
| § 1. Понятие о самоизменении и самоорганизации в автоматах | 140
|
| § 2. Некоторые вспомогательные сведения из теории вероятностей | 148
|
| § 3. Количественная мера самоорганизации и самосовершенствования в автоматах | 158
|
| § 4. Автоматы со случайными переходами | 165
|
| § 5. Проблема обучения распознаванию образов | 174
|
| § 6. Теория обучения дискретных а-персептронов | 186
|
| § 7. Работа дискретных а-персептронов в режиме самообучения | 199
|
| § 8. Логические классификационные системы и машины условной вероятности | 208
|
| § 9. Самоорганизация и самонастройка. Методы решения сложных вариационных задач | 220
|
| Глава V. Электронные цифровые машины и программирование | 233
|
| § 1. Универсальный программный автомат | 233
|
| § 2. Структура современных универсальных программных автоматов | 241
|
| § 3. Понятие о программировании | 250
|
| § 4. Универсальный алгоритмический язык АЛГОЛ-60 | 260
|
| § 5. Примеры программирования на языке АЛГОЛ-60 | 275
|
| Глава VI. Исчисление предикатов и проблема автоматизации процессов научного творчества | 286
|
| § 1. Основные понятия исчисления предикатов | 286
|
| § 2. Формальная арифметика и теорема Гёделя | 293
|
| § 3. Понятие об автоматизации доказательств и построения дедуктивных теорий | 308
|
| Литература | 319
|
Глушков Виктор Михайлович Советский математик и кибернетик, пионер кибернетики в СССР. Академик АН СССР (1964) и АН УССР (1961). Член многих академий наук и научных обществ мира. Заслуженный деятель науки УССР (1978), вице-президент АН УССР (с 1962 года). Герой Социалистического Труда (1969). Лауреат Ленинской премии (1964), двух Государственных премий СССР (1968, 1977), премии Совета Министров СССР (1981), а также многих других. Трижды награжден орденом Ленина (1967, 1969, 1975).
В. М. Глушков — автор трудов по алгебре, кибернетике и вычислительной технике. Основной результат, отраженный в его докторской диссертации, — формулировка и доказательство одной из интерпретаций пятой проблемы Гильберта. Под его руководством в 1966 г. была разработана первая в СССР персональная ЭВМ «МИР-1» (машина инженерных расчетов). Он был инициатором разработки и создания Общегосударственной автоматизированной системы учета и обработки информации (ОГАС) — вычислительной сети для связи центров сбора данных во всех регионах страны, предназначенной для автоматизированного управления всей экономикой СССР в целом; некоторые исследователи позже называли ее «советским Интернетом».
