Математическая логика и теория алгоритмов


Математическая логика и теория алгоритмов
Вопросы к экзамену
Высказывания
Операции над высказываниями
Формулы логики высказываний.
Таблицы истинности
Основные понятия семантики логики высказываний: равносильность, логическое следствие, выполнимость.
Законы логики высказываний.
Дизъюнктивная и конъюнктивная нормальные формы.
Способы приведения к СДНФ и СКНФ.
Предикаты и операции над ними.
Формулы логики предикатов,
Свободные переменные, интерпретация.
Предваренная нормальная форма
Стандартная сколемовская форма
Унификация переменных
Основные понятия семантики логики предикатов: равносильность, логическое следствие, выполнимость.
Кванторы.
Законы логики предикатов.
Нечеткая арифметика; нечеткая логика
.Логическое следование, принцип дедукции.
Метод резолюций.
Аксиоматические систем.
Рекурсивные функции.
Рекуррентные последовательности.
Рекуррентные уравнения.
Формализация понятия алгоритма.
Машина Тьюринга. Таблицы Айзермана.
Нормальный алгоритм Маркова.
Понятие о машине Поста.
Тезис Черча
Алгоритмически неразрешимые проблемы.
Меры сложности алгоритмов.
Легко и трудноразрешимые задачи. Классы задач P и NP.
Основы нечеткой логики.
Темпоральная логика
Модальная логика
Элементы алгоритмической логики. Алгоритмическая логика Ч. Хоара

Приложенные файлы

  • docx 8958333
    Размер файла: 13 kB Загрузок: 0

Добавить комментарий