Минск: БГУИР, 2007. — 180с.Вводятся основные понятия теории множеств и отношений, излагаются основы теории графов, абстрактной булевой алгебры с различными интерпретациями. Рассматриваются задачи комбинаторной оптимизации, возникающие при логическом проектировании.
Рассматриваются различные методы минимизации булевых функций и систем в классе ДНФ, а также декомпозиции булевых функций. Излагаются методы логического проектирования, использующие модель конечного автомата в его синхронной и асинхронной реализации.
Предназначается для студентов и аспирантов, специализирующихся в области проектирования дискретных устройств.
Автор – доцент кафедры ЭВМ Белорусского госуниверситета информатики и
радиоэлектроники Поттосин Ю. В.
