Предисловие к первому изданию | 7
|
Глава I. Общие сведения о преобразованиях информации | 17
|
§ 1. Понятие об информации и ее преобразованиях | 17
|
§ 2. Преобразования алфавитной информации | 22
|
§ 3. Понятие об алгоритме | 27
|
§ 4. Понятие о дискретном (цифровом) автомате | 31
|
Глава II. Абстрактная теория автоматов | 36
|
§ 1. Понятие об абстрактном автомате и индуцируемом им отображении | 36
|
§ 2. Автоматные отображения и события | 51
|
§ 3. Алгебра событий | 62
|
§ 4. Представление событий в автоматах | 69
|
§ 5. Анализ конечных автоматов | 79
|
§ 6. Основной алгоритм синтеза конечных автоматов | 94
|
§ 7. Усовершенствование основного алгоритма синтеза | 106
|
§ 8. Синтез автоматов по индуцируемым ими отображениям | 124
|
§ 9. Минимизация абстрактных автоматов | 135
|
§ 10. Некоторые дополнительные приемы минимизации | 150
|
Глава III. Структурная теория автоматов | 165
|
§ 1. Композиция автоматов, структурные схемы | 165
|
§ 2. Канонический метод структурного синтеза автоматов | 180
|
§ 3. Булевы функции | 190
|
§ 4. Две замечательные алгебры булевых функций | 200
|
§ 5. Нормальные формы | 209
|
§ 6. Анализ и синтез комбинационных схем | 222
|
§ 7. Теорема о функциональной полноте | 237
|
§ 8. Канонические уравнения структурных схем в двоичном структурном алфавите | 251
|
Глава IV. Минимизация булевых функций | 264
|
§ 1. Сокращенные и минимальные дизъюнктивные нормальные формы | 264
|
§ 2. Метод Квайна — Мак-Класки | 278
|
§ 3. Другие методы минимизации булевых функций | 292
|
§ 4. Проблема факторизации. Минимальные конъюнктивные нормальные формы | 306
|
Глава V. Методы построения комбинационных схем в двоичном структурном алфавите | 317
|
§ 1. Некоторые методы решения канонической задачи комбинационного синтеза | 317
|
§ 2. Методы канонического синтеза некоторых специальных комбинационных схем | 330
|
§ 3. Общие методы синтеза вентильных схем | 338
|
§ 4. Некоторые дополнительные приемы синтеза и минимизации вентильных схем | 353
|
Глава VI. Некоторые проблемы надежности цифровых автоматов | 368
|
§ 1. Потенциальные и импульсные сигналы. Основные типы схем цифровых автоматов | 368
|
§ 2. Проблема риска. Примеры синтеза схем с учетом простейших соображений надежности | 383
|
§ 3. Проблема синтеза надежных схем из ненадежных элементов | 398
|
Глава VII. Алгоритмическая структура современных универсальных цифровых машин | 414
|
§ 1. Принцип программного управления. Блок-схема универсального программного автомата | 414
|
§ 2. Принципы построения арифметических устройств | 431
|
§ 3. Организация управления универсальным программным автоматом | 447
|
Литература | 464
|
Именной указатель | 470
|
Предметный указатель | 472
|
Глушков Виктор Михайлович Советский математик и кибернетик, пионер кибернетики в СССР. Академик АН СССР (1964) и АН УССР (1961). Член многих академий наук и научных обществ мира. Заслуженный деятель науки УССР (1978), вице-президент АН УССР (с 1962 года). Герой Социалистического Труда (1969). Лауреат Ленинской премии (1964), двух Государственных премий СССР (1968, 1977), премии Совета Министров СССР (1981), а также многих других. Трижды награжден орденом Ленина (1967, 1969, 1975).
В. М. Глушков — автор трудов по алгебре, кибернетике и вычислительной технике. Основной результат, отраженный в его докторской диссертации, — формулировка и доказательство одной из интерпретаций пятой проблемы Гильберта. Под его руководством в 1966 г. была разработана первая в СССР персональная ЭВМ «МИР-1» (машина инженерных расчетов). Он был инициатором разработки и создания Общегосударственной автоматизированной системы учета и обработки информации (ОГАС) — вычислительной сети для связи центров сбора данных во всех регионах страны, предназначенной для автоматизированного управления всей экономикой СССР в целом; некоторые исследователи позже называли ее «советским Интернетом».