Для студентов МАИ по предмету ПрологБилеты к экзаменуБилеты к экзамену
2015-11-242015-11-24СтудИзба
Вопросы/задания: Билеты к экзамену
Описание
Небольшая часть вопросов для примера:
Понятие предиката.
Понятие клаузы (утверждение).
Формальная система. Признаки ФС. Требования к ФС.
Исчисление высказываний (Булева алгебра).
Исчисление предикатов (1-го порядка).
Формальная арифметика. Системы 1ого порядка.
Ограничения формализма. Логические парадоксы.
Метод Эрбрана. Метод автоматического доказательства теорем.
Алгоритм резолюции.
Алгоритм унификации. Понятие терма.
Декларативный принцип программирования. АЯП сверхвысокого уровня.
Задачи Гильберта формализации математики. Роль логики в формализации математики.
Законы дедуктивного мышления. Доказательство от противного.
Основные конструкции логической программы (Turbo Prolog, Visual Prolog).
Встроенные типы данных.
Факты и правила. Предикаты и переменные. Анонимная переменная.
Переход к клаузальной форме логики.
Структурированная информация на Прологе. Функторы и термы. (Различие между предикатными символами и функторами. л/б 2)
Рекурсивные динамические структуры данных. Альтернативные доменные структуры. (л/б 3)
Арифметика на Прологе
Рекурсивные вычисления.
Оптимизация рекурсивных вычислений (левая и правая рекурсия). Итерационные вычисления. Переменные - накопители.
Повторяющиеся вычисления и предикат fail. Интеративные циклы.
Обработка списков. Создание списков с помощью предиката findall.
Отсечение (предикат cut).
Предикат динамических БД (принцип самопрограммирования).
Типовые металогические предикаты. (л/б 4)
Встроенные вспомогательные предикаты и примеры прикладных программ.
Понятие предиката.
Понятие клаузы (утверждение).
Формальная система. Признаки ФС. Требования к ФС.
Исчисление высказываний (Булева алгебра).
Исчисление предикатов (1-го порядка).
Формальная арифметика. Системы 1ого порядка.
Ограничения формализма. Логические парадоксы.
Метод Эрбрана. Метод автоматического доказательства теорем.
Алгоритм резолюции.
Алгоритм унификации. Понятие терма.
Декларативный принцип программирования. АЯП сверхвысокого уровня.
Задачи Гильберта формализации математики. Роль логики в формализации математики.
Законы дедуктивного мышления. Доказательство от противного.
Основные конструкции логической программы (Turbo Prolog, Visual Prolog).
Встроенные типы данных.
Факты и правила. Предикаты и переменные. Анонимная переменная.
Переход к клаузальной форме логики.
Структурированная информация на Прологе. Функторы и термы. (Различие между предикатными символами и функторами. л/б 2)
Рекурсивные динамические структуры данных. Альтернативные доменные структуры. (л/б 3)
Арифметика на Прологе
Рекурсивные вычисления.
Оптимизация рекурсивных вычислений (левая и правая рекурсия). Итерационные вычисления. Переменные - накопители.
Повторяющиеся вычисления и предикат fail. Интеративные циклы.
Обработка списков. Создание списков с помощью предиката findall.
Отсечение (предикат cut).
Предикат динамических БД (принцип самопрограммирования).
Типовые металогические предикаты. (л/б 4)
Встроенные вспомогательные предикаты и примеры прикладных программ.
Характеристики вопросов/заданий
Предмет
Учебное заведение
Семестр
Просмотров
122
Скачиваний
3
Размер
28,91 Kb
Список файлов
- ReadMe.txt 276 b
- Экзаменационные билеты по Прологу.doc 46 Kb
- Экзаменационные билеты по Прологу.docx 18,81 Kb
ReadMe
Файлы скачаны со студенческого портала для студенты "Baumanki.net"
Файлы представлены исключительно для ознакомления
Не забывайте, что Вы можете зарабатывать, выкладывая свои файлы на сайт
Оценивайте свой ВУЗ в различных голосованиях, в том числе в досье на преподавателей!
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать