Обложка Глушков В.М. Введение в кибернетику
Id: 280999
549 руб.

Введение в кибернетику. №39. Изд. 2

• Абстрактная теория алгоритмов.
• Булевы функции и исчисление высказываний.
• Теория автоматов.
• Самоорганизующиеся системы.
• Электронные цифровые машины и программирование.
• Исчисление предикатов и проблема автоматизации процессов научного творчества.

Аннотация

Перед читателями — классический труд выдающегося ученого, пионера кибернетики в СССР и мире, создателя научных и технических основ для информационной индустрии Советского Союза, академика Виктора Михайловича Глушкова. В книге собран и обобщен материал, необходимый для построения таких разделов кибернетики, как теория электронных цифровых машин, теория дискретных автоматов и теория дискретных самоорганизующихся систем, автоматизация мыслительных... (Подробнее)


ОГЛАВЛЕНИЕ
Предисловие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. Универсальный алгоритмический язык АЛГОЛ-60260
§ 5. Примеры программирования на языке АЛГОЛ-60275
Глава VI. Исчисление предикатов и проблема автоматизации процессов научного творчества286
§ 1. Основные понятия исчисления предикатов286
§ 2. Формальная арифметика и теорема Гёделя293
§ 3. Понятие об автоматизации доказательств и построения дедуктивных теорий308
Литература319

Об авторе
Глушков Виктор Михайлович
Советский математик и кибернетик, пионер кибернетики в СССР. Академик АН СССР (1964) и АН УССР (1961). Член многих академий наук и научных обществ мира. Заслуженный деятель науки УССР (1978), вице-президент АН УССР (с 1962 года). Герой Социалистического Труда (1969). Лауреат Ленинской премии (1964), двух Государственных премий СССР (1968, 1977), премии Совета Министров СССР (1981), а также многих других. Трижды награжден орденом Ленина (1967, 1969, 1975).

В. М. Глушков — автор трудов по алгебре, кибернетике и вычислительной технике. Основной результат, отраженный в его докторской диссертации, — формулировка и доказательство одной из интерпретаций пятой проблемы Гильберта. Под его руководством в 1966 г. была разработана первая в СССР персональная ЭВМ «МИР-1» (машина инженерных расчетов). Он был инициатором разработки и создания Общегосударственной автоматизированной системы учета и обработки информации (ОГАС) — вычислительной сети для связи центров сбора данных во всех регионах страны, предназначенной для автоматизированного управления всей экономикой СССР в целом; некоторые исследователи позже называли ее «советским Интернетом».