rpd000001899 (1009983), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

- 3. Клаузальная форма логики

- 4. Понятия и принципы логического программирования

- 5. Арифметика и алгебра на ПРОЛОГе

- 6. Структурирование представление информации

- 7. Рекурсивные данные и программы

- 8. Отсечение в логических программах

- 9. Предикаты внутренних динамических баз данных

- 10. Типовые металогические предикаты ПРОЛОГа

- 11. Дополнительные возможности ПРОЛОГа

- 12. Заключение. Применение ПРОЛОГа в прикладных задачах

1. Лекции

1. Практические занятия

1. Лабораторные работы

1. Типовые задания

1. Курсовые работы и проекты по дисциплине

1. Рубежный контроль

1. Промежуточная аттестация

1. Зачёт

Прикрепленные файлы:

Вопросы для подготовки к экзамену/зачету:

1.Роль логики в решении задачи Гильберта формализации математики. Символьная обработка информации и декларативный принцип разработки программ.

2.Формальные системы. Признаки и требования. Логика высказываний (Булева алгебра). Теорема Поста о полноте исчисления высказываний.

3.Логика исчисления предикатов 1-го порядка – теоретическая основа логического программирования. 1-я теорема Гёделя об исчислении предикатов.

4.Законы дедуктивного мышления. Доказательство «от противного». Метод автоматического доказательства теорем Эрбрана.

5.Принцип резолюции Робинсона.

6.Алгоритм унификации (сопоставления).

7.Системы 1-го порядка. Формальная арифметика.

8.2-я теорема Гёделя о неполноте формальной арифметики.

9.Теорема Тарского о недоказуемости истинных интерпретаций формальных систем.

10.Теорема Чёрча о неразрешимости логики предикатов 1-го порядка. Полуразрешимость исчисления предикатов.

11.Анализ логики средствами логики. Метаязык и логические парадоксы.

12.Понятие клаузы (утверждения). Клаузы Хорна. Соотношение между стандартной и клаузальной формами логики.

13.Синтаксические элементы логики – предикаты (атомарные суждения), переменные, константы, термы, функторы (функциональные буквы).

14.Вид программы на языках Turbo PROLOG и Visual PROLOG. Основные элементы программы. Клаузы (факты и правила). Запросы к логической программе.

15.Основные встроенные типы данных ПРОЛОГа. Примеры использования.

16.Встроенные арифметические операции, алгебраические функции и предикаты сравнений ПРОЛОГа.

17.Типы данных, создаваемые пользователем. Структурированное представление информации на ПРОЛОГе (функторы и термы).

18.Рекурсивные типы данных – списки, деревья и пр.

19.Правило рекурсии. Рекурсивные логические программы.

20.Списковый тип данных ПРОЛОГа. Предикат создания списков findall.

21.Программы обработки списков на ПРОЛОГе.

22.Правая и левая рекурсии. Итерационные вычисления. Использование переменных-«накопителей».

23.Отсечение - предикат cut (!). Определение и причины использования отсечения.

24.Зелёное и красное отсечения. Предикат fail и правило повтора. Оптимизация вычислений и программирование исключающих утверждений.

25.Типовые металогические предикаты. Создание «универсальных» предикатов.

26.Динамические базы данных database или facts. Встроенные предикаты динамических баз данных. Различные аспекты применения динамических баз данных.

27.Работа с файлами и динамические базы данных на ПРОЛОГе. Предикаты ввода-вывода.

Вопросы на тестирование:

1.Запрограммировать фразу: «Любое число в нулевой степени равно единице».

2.Написать логическую программу для утверждения: «Петру нравятся все литературные жанры, кроме доносов».

3.Записать в виде клаузы: «Каждый счастлив, если он кого-то любит».

4.По материалам 1-й лабораторной работы написать правила для определения фактов «брат (Кто, Кому)» и для сохранения полученных фактов в файле brother.txt.

5.Разработать логическую программу для деления каждого элемента числового списка на количество элементов этого же списка.

6.Написать логическую программу для вычисления суммы элементов b(j)=1/(j!), где j=1,…,N.

7.Запрограммировать с помощью зелёного отсечения предикат modul(X,Y), где Y – модуль X.

8.По материалам 1-й лабораторной работы написать правила для предиката «является (Кто, Кому, Кем)».

9.Записать как клаузу фразу: «Не бывает шофёра, не имеющего водительских прав», используя предикаты «шофёр(.)» и «водитель(.)»

10.Разработать динамическую структуру «квадро-дерево» и привести пример её использования.

1. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

а)основная литература:

Характеристики

Список файлов учебной работы