Учебно-методическое пособие. — Нижний Тагил: [НТИ (филиал) УрФУ], 2013. — 256 с.
Изложенный в пособии материал представляет собой теоретические основы компьютерной математики. Содержит разделы «Множества и отноше-ния», «Алгебра высказываний. Булева алгебра», «Алгебра предикатов», «Формальные исчисления», «Комбинаторика», «Графы и сети». К каждому разделу приводятся задачи и упражнения. В изложении материала систематически используется язык теории множеств и отображений. Предназначено для студентов технических вузов направлений 230700 – Прикладная информатика, 230400 – Информационные системы и технологии, а также всех других специальностей.
