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

В компактной форме приводятся теоретические сведения, задания для выполнения практических работ и контрольные вопросы. Практикум может быть использован для самостоятельной работы студентов 3-го курса направления подготовки 10.03.01 «Информационная безопасность».