В компактной форме приводятся теоретические сведения дискретной математики, задания для выполнения практических работ и контрольные вопросы.

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