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