Изложены методы логического анализа функциональных свойств дискретных устройств объектов информатизации. Раскрыты логико-математические основы описания и преобразования моделей дискретных устройств комбинационного и последовательностного типов.

Пособие содержит основы теории автоматов: для автоматов-преобразователей рассматривается задача построения комбинационной схемы с элементами задержки, и исследуется проблема минимизации; изучаются различные тины композиции автоматовраспознавателей.