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

ВУЗ Московский авиационный институт
Семестр 6 семестр
Предмет Пролог
Категория К экзамену/зачёту
Дата 24 ноября 2015 в 23:29 Размер 28,91 Kb
Просмотров 120 Скачиваний 3
Качество Качество не указано Комментариев 0
Рейтинг
- из 5
Автор zzyxel 4,56 из 5
Файл проверен администрацией в том числе на вирусы с помощью EsetNod32.
Небольшая часть вопросов для примера:

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

Данный файл также доступен в разделе "к экзамену/зачёту", в предмете "пролог" в общих файлах.

Рекомендуем также

Для добавления файла нужно быть зарегистрированным пользователем. Зарегистрироваться и авторизоваться можно моментально через социальную сеть "ВКонтакте" по кнопке ниже:

Войти через
или

Вы можете зарегистрироваться стандартным методом и авторизоваться по логину и паролю с помощью формы слева.

Не забывайте, что на публикации файлов можно заработать.