В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Предназначается для студентов всех форм обучения всех специальностей. Рекомендовано методическим советом УрФУ в качестве учебного пособия для студентов, обучающихся по направлениям подготовки 231300 — Прикладная математика; 141100 — Энергетическое машиностроение; 140400 — Электроэнергетика и электротехника; 140100 — Теплоэнергетика и теплотехника; 141403 — Атомные станции: проектирование, эксплуатация и инжиниринг; 280700 — Техносферная безопасность.