Миллер Р. Теория переключательных схем. В двух томах

Перевод с англ. под ред. П.П. Пархоменко. — М.: Наука, 1970. — 416 с.Том первый.
Основное внимание в книге уделено вопросам анализа и синтеза комбинационных устройств релейного действия. Приведено краткое описание цифровых вычислительных машин. Подробно изложены основные положения теории булевых алгебр и рассмотрена ее связь с теорией структур и теорией групп. Большое внимание уделено проблеме минимизации наиболее общего типа схем, содержащего два уровня элементов. Рассмотрены методы синтеза многовыходных схем с использованием теории функциональной декомпозиции. Приведены стандартные решения по синтезу релейных устройств и их реализация на криогенных элементах. В конце каждой главы приводятся упражнения и дается краткий библиографический обзор.
Том второй. (1971).
Излагаются элементы теории конечных автоматов, некоторые алгебраические свойства последовательностных машин, вопросы минимизации числа состояний. Рассмотрены методы кодирования состояний с учетом требований простоты структуры, способы построения схем, свободных от различных видов состязаний, приведены стандартные решения. Исследуется задача согласования работы асинхронной последовательностной схемы с поведением внешней среды. Излагаются основные результаты теории схем, поведение которых не зависит от скорости реакций входящих в них элементов.
Книга рассчитана на научных работников и инженеров, занятых в области автоматики и вычислительной техники, а также на студентов и аспирантов, специализирующихся в указанной области.Содержание:
Том первый.
От редактора перевода.
Предисловие.
Дискретные устройства.
Теория булевых алгебр и ее применение к основам переключательных схем.
Комбинационные переключательные схемы. Синтез схем, Описываемых нормальными формами.
Многовыходные и многоярусные комбинационные схемы.
Переключательные схемы с двухсторонней проводимостью.
Упражнения. Замечания по библиографии. Литература. (К каждой главе).
Предметный указатель.Том второй.
Некоторые модели и элементарные свойства последовательностных машин.
Совместимость, эквивалентность и минимизация числа состояний последовательностных машин.
Кодирование состояний последовательностных машин.
Асинхронные переключательные схемы.
Теория переключательных схем, не зависящих от скорости.
Упражнения. Замечания по библиографии. Литература. (К каждой главе).
Предметный указатель.