1)Логика предикатов.
-Понятие предиката. Логические и кванторные операции над предикатами.
-Равносильные формулы логики предикатов.
-Предваренная нормальная форма (п.н.ф.).
-Применение логики предикатов в математике.
-Список литературы.
2)Алгебра логики.
-Логические операции над высказываниями.
-Равносильные формулы алгебры логики.
-СДНФ, СКНФ.
-Приложения алгебры логики.
3)Функции алгебры логики.
-Двойственность. Класс самодвойственных функций.
-Полином Жегалкина. Линейность и класс линейных функций.
-Монотонность и класс монотонных функций.
-Класс функций, сохраняющих константу.
-Полнота и замкнутость системы функций Теорема Поста о полноте.
