Основы теории проектирования цифровых устройств

Вводятся основные понятия теории множеств и отношений, излагаются основы теории графов, абстрактной булевой алгебры с различными интерпретациями. Рассматриваются задачи комбинаторной оптимизации, возникающие при логическом проектировании цифровых устройств. Рассматриваются различные методы минимизации булевых функций и их систем, а также методы декомпозиции булевых функций. Затрагиваются вопросы реализации булевых функций. Излагаются методы логического проектирования, использующие модель конечного автомата в его синхронной и асинхронной реализации. Материал, изложенный в книге, построен на основе лекций, читаемых автором на протяжении ряда лет студентам Белорусского государственного университета информатики и радиоэлектроники. Книга предназначена для студетов и аспирантов, специализирующихся в области проектирования цифровых устройств.