Учебное пособие. — Томск: Изд-во Томского политехнического университета, 2009. — 116 с.
Учебное пособие составлено на основе лекций, разработанных автором.
Пособие подготовлено на кафедре интегрированных компьютерных ситем управления и предназначено для студентов ИДО, обучающихся по специальности 220301 «Автоматизация технологических процессов и производств».
Множества и отношенияМножества
Отношения
Математическая логикаЛогические операции
Синтез логических схем
Формы представления булевых функций
Минимизация дизъюнктивных нормальных форм
Логика предикатов
Графы и сетиГрафы
Сети
Автоматы, языки, элементы кодированияЭлементы теории автоматов
Элементы кодирования