Математическая логика и теория алгоритмов. Алехина М.А. - 6 стр.

7        Лекции
    1.   Булевы функции.
     (a) Способы задания и основные свойства булевых функций.
     (b) Замкнутые классы и полнота систем булевых функций.
    2.   Минимизация булевых функций.
    3.   Псевдобулевы функции и их представление рядами Фурье.
    4.   Функции k-значной логики.
     (a) Формулы и реализация функций формулами.
     (b) Полные системы. Распознавание полноты.
    5.   Исчисление высказываний.
     (a) Аксиомы. Правила вывода.
     (b) Тождественная истинность выводимых формул.
     (c) Непротиворечивость исчисления высказываний.
    6.   Логика и исчисление предикатов.
     (a) Предикаты. Логические операции над предикатами.
     (b) Кванторы. Модели.
     (c) Аксиомы. Правила вывода.
     (d) Тождественная истинность выводимых формул.
     (e) Непротиворечивость исчисления предикатов.
    7.   Математические теории.
     (a) Язык первого порядка.
     (b) Термы и формулы.
     (c) Логические и специальные аксиомы. Правила вывода.
     (d) Доказательство в теории.
     (e) Теорема дедукции.
     (f) Категоричность теории.
     (g) Проблемы непротиворечивости, полноты и разрешимости теории.
    8.   Алгоритмы.
     (a) Понятие алгоритма.
     (b) Сложность алгоритма.

                                           6