1. Множества. Операции над множествами и их свойства.
2. Бинарные отношения. Их свойства. Матрица отношения. Операции над отношениями.
3. Отношения эквивалентности и разбиения множества.
4. Отношения порядка. Диаграммы упорядоченных множеств.
5. Высказывания. Формулы логики высказываний. Таблицы истинности. Равносильность и логическое следствие. Законы логики высказываний.
6. ДНФ. Контактные схемы.
7. КНФ. Доказательства от противного.
8. Предикаты. Три способа получения новых предикатов: подстановка, логические связки, квантификация. Формулы логики предикатов. Равносильность.
9. Геометрическое и алгебраическое определение графа. Маршруты, цепи, циклы. Подграфы.
10. Связность графов, компоненты связности. Лемма о разрыве цикла.
11. Эйлеровы циклы, теорема Эйлера. Гамильтоновы циклы.
12. Мосты и точки сочленения. Связь с гамильтоновыми циклами.
13. Деревья, теорема о деревьях. Каркас графа.
14. Плоские и планарные графы. Теорема Эйлера о многогранниках.
15. Следствия из теоремы Эйлера.

