Комбинаторные задачи в логическом проектировании дискретных устройств

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