1. Множество и его подмножества. Способы задания. Эквивалентность множеств.
2. Области определения и значения отображения. Виды отображений. Обратное отображение.
3. Счетные и несчетные множества. Множество-степень. Противоречия наивной теории множеств.
4. Булева алгебра подмножеств данного множества. Аксиомы булевой алгебры.
6. Алгебра булевых векторов. Алгебра высказываний. Изоморфизм булевых алгебр.
7. Определение и способы задания булевых функций
8. Теорема о числе булевых функций от n-переменных.
9. Вес БФ, расстояние между БФ.
10. Основные и элементарные булевы функции.
11. Фиктивные и существенные переменные. Способы определения фиктивности.
14. Нормальные формы. СДНФ и СКНФ. Теорема о существовании и единственности СДНФ.
15. Алгоритмы преобразования формулы к виду СДНФ.
16. Принцип двойственности. Следствие.