Логические основы проектирования дискретных устройств

В книге рассматривается проблема проектирования устройств логического управления, т.е. таких управляющих устройств, которые взаимодействуют с управляемым объектом посредством двоичных сигналов и поведение которых описывается в пространстве дискретных событий, благодаря чему для проектирования управляющих устройств можно привлечь хорошо развитый арсенал формальной логики. Особое внимание в книге уделяется параллельным алгоритмам логического управления, представляющим управление сложными объектами с параллельно протекающими и взаимодействующими процессами. Для их описания были использованы сети Петри, оригинальный язык ПРАЛУ, модель параллельного автомата с частичными состояниями и модель секвенциального автомата, пригодная для описания дискретных систем со многими переменными. Книга может быть полезна как разработчикам устройств логического управления, так и студентам, специализирующимся в соответствующих направлениях.

Предисловие

Часть 1. Множества, отношения, графы

Часть 2. Комбинаторные алгоритмы дискретной математики

Часть 3. Алгебра логики

Часть 4. Оптимизация в булевом пространстве

Часть 5. Полиномиальные представления булевых функций

Часть 6. Проектирование логических схем

Часть 7. Методы теории автоматов

Часть 8. Алгоритмы логического управления

Список литературы

Предметный указатель.