Билеты к экзамену

Небольшая часть вопросов для примера:

Понятие предиката.
Понятие клаузы (утверждение).
Формальная система. Признаки ФС. Требования к ФС.
Исчисление высказываний (Булева алгебра).
Исчисление предикатов (1-го порядка).
Формальная арифметика. Системы 1ого порядка.
Ограничения формализма. Логические парадоксы.
Метод Эрбрана. Метод автоматического доказательства теорем.
Алгоритм резолюции.
Алгоритм унификации. Понятие терма.
Декларативный принцип программирования. АЯП сверхвысокого уровня.
Задачи Гильберта формализации математики. Роль логики в формализации математики.
Законы дедуктивного мышления. Доказательство от противного.
Основные конструкции логической программы (Turbo Prolog, Visual Prolog).
Встроенные типы данных.
Факты и правила. Предикаты и переменные. Анонимная переменная.
Переход к клаузальной форме логики.
Структурированная информация на Прологе. Функторы и термы. (Различие между предикатными символами и функторами. л/б 2)
Рекурсивные динамические структуры данных. Альтернативные доменные структуры. (л/б 3)
Арифметика на Прологе
Рекурсивные вычисления.
Оптимизация рекурсивных вычислений (левая и правая рекурсия). Итерационные вычисления. Переменные - накопители.
Повторяющиеся вычисления и предикат fail. Интеративные циклы.
Обработка списков. Создание списков с помощью предиката findall.
Отсечение (предикат cut).
Предикат динамических БД (принцип самопрограммирования).
Типовые металогические предикаты. (л/б 4)
Встроенные вспомогательные предикаты и примеры прикладных программ.