Включает следующие разделы дискретной математики и математической логики: «Основы математической логики», «Булевы функции», «Основы теории множеств», «Декартовы произведения множеств и отношения», «Элементы теории графов», «Логика предикатов» и «Элементы теории алгоритмов». Указанные разделы в средних учебных заведениях преподаются в рамках дисциплины «Дискретная математика с элементами математической логики» и относятся к базовой части дисциплин математического цикла. Помимо теоретического материала содержит многочисленные примеры с решениями, а также задания для самостоятельной работы студентов, которые снабжены ответами.

Соответствует ФГОС СПО последнего поколения.

Для студентов СПО, обучающихся по специальности «Информационные системы и программирование».