Автор(ы): Балюкевич Э.Л., Ковалева Л.Ф., Романников А.Н.
Введение
1. Множества
1.1. Операции над множествами. Мощность множеств. Отображение множеств
1.2. Отношения на множествах
Тест
2. Математическая логика
2.1. Алгебра высказываний
2.2. Проблемы разрешимости. Нормальные формы
2.3. Исчисление высказываний
2.4. Логика предикатов
3. Теория графов
3.1. Графы
3.2. Деревья
3.3. Экстремальные задачи на графах
Вопросы для самопроверки
Контрольные задания
Контрольное задание №1
Контрольное задание №2
Контрольное задание №3
Контрольное задание №4
Контрольное задание №5
Контрольное задание №6
Контрольное задание №7
Контрольное задание №8
Контрольное задание №9
Контрольное задание №10
Контрольное задание №11
Контрольное задание №12
Контрольное задание №13
Контрольное задание №14
Контрольное задание №15
Литература