Экзаменационные вопросы по дисциплине "Функциональное и логическое программирование"

Скачать 31.67 Kb.

Название	Экзаменационные вопросы по дисциплине "Функциональное и логическое программирование"
Дата публикации	19.06.2013
Размер	31.67 Kb.
Тип	Экзаменационные вопросы

100-bal.ru > Математика > Экзаменационные вопросы

ЭКЗАМЕНАЦИОННЫЕ ВОПРОСЫ

по дисциплине “Функциональное и логическое программирование”

для студентов 3 курса специальности 220400

Классификация языков программирования. Особенности и классификация декларативных языков программирования.
Общая характеристика языка ПРОЛОГ.
Понятие логики высказываний. Правильно построенные формулы (ППФ) в логике высказываний.
Интерпретация формул в логике высказываний . Истинностная таблица формулы. Понятие выполнимой, общезначимой, противоречивой формулы. Свойства формул.
Формулы эквивалентности в логике высказываний.
Конъюнктивная и дизъюнктивная нормальные формы.
Понятие теории предметной области. Аксиомы и следствия аксиом теории. Полнота теории. Пример теории предметной области.
Логическое следование и теорема дедукции. Следствие теоремы дедукции. Понятие теоремы и заключения теоремы.
Ограниченность логики высказываний. Понятие логики предикатов. Определение предиката. Примеры предикатов.
Логические операции квантификации. Универсальное и экзистенциональное высказывания.
Базовые элементы языка предикатов. Примеры атомов, использующих различные базовые элементы языка предикатов.
Производные элементы языка предикатов, их определения и примеры.
Интерпретация формул в логике предикатов.
Предваренная нормальная форма (ПНФ). Правила вынесения кванторов в префиксную часть. Стандартизация связанных переменных.
Порядок приведения формулы к ПНФ. Пример приведения формулы к ПНФ.
Сколемовская нормальная форма. Правило исключения кванторов существования. Функция Сколема. Исключение кванторов общности. Примеры.
Приведение сколемовской нормальной формы к стандартной форме. Теорема о противоречивости предикатной формулы.
Основные подходы и принципы автоматического доказательства теорем.
Метод резолюций как метод опровержения , его основная идея. Метод резолюций для логики высказываний.
Понятие контрарной пары. Правило резолюций. Резольвента. Свойство резольвенты. Резолютивный вывод. Теорема о полноте метода резолюций. Примеры резолютивного вывода.
Метод резолюций для логики предикатов. Понятие подстановки, унификатора. Унифицируемые множества выражений. Примеры подстановок и унификации.
Эквивалентные формы представления дизъюнкта. Содержательная интерпретация дизъюнкта.
Понятие хорновского дизъюнкта. Разновидности хорновских дизъюнктов. Достоинства хорновских дизъюнктов.
Общая характеристика логического программирования.
Процесс выполнения программы на языке ПРОЛОГ (последовательность выполнения резолюций в программе). Рассмотреть на конкретном примере.
Представление фактов и правил на ПРОЛОГЕ.
Управление программой на ПРОЛОГЕ. Цель программы. Внутренние и внешние цели. Простой и составной запрос.
Решение задачи системой ПРОЛОГ. Механизм сопоставления и унификации.
Оператор “=”.
Механизм отката.
Структура программы Турбо-ПРОЛОГА.
Описание доменов и предикатов.
Правила образования имен в Турбо-ПРОЛОГЕ.
Использование внутренних и внешних целей. Интерактивные программы.
Использование правил в запросах.
Переменные Турбо-ПРОЛОГА. Анонимная переменная. Использование анонимных переменных. Лексический диапазон переменных.
Понятие структуры. Функтор. Примеры структур и их использования в программах.
Альтернативные доменные структуры. Пример использования.
Операторы Турбо-ПРОЛОГА. Реализация арифметических операций в Турбо-ПОЛОГЕ.
Организация повторяющихся операций в Турбо-ПРОЛОГЕ. Средства управления их выполнением. Встроенные предикаты fail и cut.
Механизм отсечений, его особенности.
Метод отката после неудачи.
Метод отсечения и отката.
Метод повтора, определяемый пользователем.
Понятие правила рекурсии. Простая рекурсия. Условие выхода. Пример программы, использующей рекурсию.
Метод обобщенного правила рекурсии. Пример программы, использующей правило рекурсии.
Реализация отрицания в Турбо-ПРОЛОГЕ.
Список в ПРОЛОГЕ. Структура списка. Графическое представление списка. Описание и применение списка в программе.
Метод разделения списка на голову и хвост. Пример использования метода в программе.
Поиска элемента в списке (принадлежность элемента списку).
Соединение (конкатенация) двух списков.
Процедура добавления элемента в начало списка.
Удаление элемента из списка.
Индексирование списка.
Процедура “Подсписок”.
Деление списков.
Компоновка данных в список. Использование встроенного предиката findall.

Добавить документ в свой блог или на сайт

Похожие:

$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Темы вашего учебного проекта Инструментальной системой будем называть совокупность программного продукта, обеспечивающего разработку информационно-программного...	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Рабочая программа составлена в соответствии с требованиями фгос впо... Целью изучения дисциплины является приобретение теоретических знаний и выработка профессиональных навыков в области функционального...
$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине «Менеджмент»	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по бжд для студентов специальности 110203.... Экзаменационные вопросы по бжд для студентов специальности 190603. 65 – «Сервис транспортных и технологических машин и оборудования...
$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по истории и философии науки Курс «История и философия науки» Программы курса и экзаменационные вопросы по первым двум частям курса представлены ниже	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине «стратегический менеджмент»... Международное частное право: Рабочая учебная программа и вопросы к экзамену / Авт сост. Максимова Т. А. г. Калининград: мфюа, 2012....
$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине «Методология научного творчества» для магистратуры	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине Сроки подготовки и проведения установлены в соответствии с графиком учебного процесса
$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Вопросы к экзамену по дисциплине «Информатика и программирование» Рабочая программа рекомендована к представлению на нмс юим на заседании кафедры менеджмента, маркетинга и предпринимательства	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине "Маркетинг" Сроки подготовки и проведения установлены в соответствии с графиком учебного процесса
$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Рабочая программа учебной дисциплины «функциональное программирование... Программа составлена в соответствии с требованиями фгос впо по направлению подготовки 080500 "Бизнес-информатика", профиль подготовки...	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Рабочая программа учебной дисциплины «функциональное программирование... Программа составлена в соответствии с требованиями фгос впо по направлению подготовки 080500 "Бизнес-информатика", профиль подготовки...
$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине: «социальная педагогика» Для специальности Экзамен по дисциплине «Социальная педагогика» является итоговой формой контроля знаний студентов	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине "Основы маркетинга" Сроки подготовки и проведения установлены в соответствии с графиком учебного процесса
$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине «римское право» Историческая роль римского гражданского права и его значение в современном праве	$Экзаменационные вопросы по дисциплине \"Функциональное и логическое программирование\" icon$	Экзаменационные вопросы по дисциплине 63 программа итоговой аттестации студентов Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

Школьные материалы