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