URSS.ru Магазин научной книги
Обложка Глушков В.М. Синтез цифровых автоматов Обложка Глушков В.М. Синтез цифровых автоматов
Id: 281054
1147 р.

Синтез цифровых автоматов № 40. Изд. 2, стереотип.

URSS. 2022. 480 с. ISBN 978-5-9710-9381-7.
Типографская бумага
Знаменитый труд, за который В. М. Глушков был удостоен Ленинской премии.

• Абстрактная и структурная теории автоматов.
• Минимизация булевых функций.
• Методы построения комбинационных схем в двоичном структурном алфавите.
• Некоторые проблемы надежности цифровых автоматов.
• Алгоритмическая структура современных универсальных цифровых машин.

Аннотация

Вниманию читателей предлагается классическая работа выдающегося советского математика и кибернетика, создателя научных и технических основ для информационной индустрии СССР, академика АН СССР и АН УССР В.М.Глушкова, за которую он в 1964 году был удостоен Ленинской премии. В книге изложены логико-математические основы общей теории синтеза логических схем дискретных (цифровых) автоматов с учетом простейших соображений надежности, не связанные... (Подробнее)


Оглавление
top
Предисловие к первому изданию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

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

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