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