1. Множества. Операции и их свойства.

2. Бинарные отношения на множестве. Их свойства. 

3. Матрица отношения. Операции над отношениями.

4. Отношения эквивалентности и разбиения множества.

5. Отношения порядка. Диаграммы упорядоченных множеств.

6. Отображения и функции.

7. Высказывания. Формулы логики высказываний. Таблицы истинности. 
Равносильность и логическое следствие.

8. Законы логики высказываний. 

9. ДНФ и контактные схемы.

10. КНФ и метод резолюций.

11. Предикаты. Кванторы. Термы. Формулы логики предикатов. 

12. Законы логики предикатов.