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

Предназначено для студентов технических направлений подготовки и специальностей, изучающих дисциплины, связанные с проектированием и разработкой информационных систем.