Учебное пособие охватывает фундаментальные разделы дискретной математики, составляющие математический аппарат для специалистов в области информатики, вычислительной техники и программирования. Книга основана на лекционном курсе автора и содержит следующие основные темы:

Теория множеств и отношений: Понятия множества, операций над ними, отображений, свойств бинарных отношений (эквивалентность, порядок).

Комбинаторика и сложность алгоритмов: Правила комбинаторики, подсчёт конфигураций, основы анализа сложности алгоритмов (классы P, NP, O-нотация), методы комбинаторного поиска (включая задачу о кратчайшем покрытии).

Теория графов: Виды графов, способы их задания, изоморфизм, обходы (в ширину и глубину), эйлеровы и гамильтоновы графы, задачи о независимых множествах, кликах, покрытиях и паросочетаниях, раскраска графов и планарность.

Математическая логика: Алгебра логики (операции, формулы, функции), нормальные формы (ДНФ, КНФ, СДНФ, СКНФ), логика высказываний (тавтологии, логический вывод) и логика предикатов (кванторы, формулы).

Булевы функции: Булево пространство, способы задания функций, важнейшие классы функций (линейные, монотонные, самодвойственные), разложение булевых функций (Шеннона).

Реализация и минимизация булевых функций: Функциональная полнота систем, реализация функций логическими схемами (релейно-контактными, на транзисторах, ПЛМ), а также подробное рассмотрение методов минимизации ДНФ (метод Квайна, Квайна-Мак-Класки, визуальный метод с использованием карт Карно).