МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Подготовка к экзамену по курсу Логическое программирование
Преподаватель: Сошников Д. В. 123 стр.
I Основы
1 Парадигмы
2 Логика предикатов 1-го порядка
21 Семантика логики предикатов
3 Исчисление предикатов 1-го порядка
4 Понятие о полноте
5 неразрешимость исчисления
6 Нормальные формы
7 Унификация
71 Правила
8 Правило вывода modus tollens
81 modus tollens
82 Резолюция
9 Метод резолюции
91 Стратегии резолюции
92 SLD-резолюция
10 SLD-интерпретатор
101 Стратегии обхода дерева вывода при поиске решений
11 Cемантика
12 Отрицание
121 SLDNF-резолюция
122 Предикат not
II Язык Prolog
13 Язык Prolog
131 Основные смысловые объекты программы
14 Oбъекты
15 Операторы
151 Операторы
152 Представление и вычисление арифметических выражений
153 Определяемые пользователем операторы
154 Представление предикатов и правил структурными термами
16 Циклы
161 repeat
162 for
17 Перебор и отсечение
18 read, write, nl
19 asserta-setof
191 asserta/assertz, retract
192 findall, bagof/setoft
IIICтруктуры данных
20 Представление списков
21 Oбработки списков 1
211 определение длины
212 взятие n-ого элемента
213 принадлежность элемента списку
214 добавление элемента
215 конкатенация списков
216 применение extend
22 Oбработки списков 2
221 удаление элемента
222 определение подсписка
223 перестановки
23 Порядковое представление списков в Прологе
231 Операции
24 Разностные списки
241 Разностный список
242 Хвостовая рекурсия
243 Хвостатизация
244 Примеры
25 Деревья
26 Сбалансированные деревья
27 Представления графов
271 В глубину
272 В ширину
IV Методы
28 Генерации, проверки, ветви и границы
281 Метод генерации и проверок
282 Метод ветвей и границ
29 Сокращения перебора
30 Пространство состояний
31 Операторы
32 Символьные вычисления
33 Подходы к символьному упрощению выражений
34 Языки
35 Условия
36 Расширение
Неполный вариант.
Полного пока не существует
если нужны TeX -- исходники обращайтесь
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Подготовка к экзамену по курсу Логическое программирование
Преподаватель: Сошников Д. В. 123 стр.
I Основы
1 Парадигмы
2 Логика предикатов 1-го порядка
21 Семантика логики предикатов
3 Исчисление предикатов 1-го порядка
4 Понятие о полноте
5 неразрешимость исчисления
6 Нормальные формы
7 Унификация
71 Правила
8 Правило вывода modus tollens
81 modus tollens
82 Резолюция
9 Метод резолюции
91 Стратегии резолюции
92 SLD-резолюция
10 SLD-интерпретатор
101 Стратегии обхода дерева вывода при поиске решений
11 Cемантика
12 Отрицание
121 SLDNF-резолюция
122 Предикат not
II Язык Prolog
13 Язык Prolog
131 Основные смысловые объекты программы
14 Oбъекты
15 Операторы
151 Операторы
152 Представление и вычисление арифметических выражений
153 Определяемые пользователем операторы
154 Представление предикатов и правил структурными термами
16 Циклы
161 repeat
162 for
17 Перебор и отсечение
18 read, write, nl
19 asserta-setof
191 asserta/assertz, retract
192 findall, bagof/setoft
IIICтруктуры данных
20 Представление списков
21 Oбработки списков 1
211 определение длины
212 взятие n-ого элемента
213 принадлежность элемента списку
214 добавление элемента
215 конкатенация списков
216 применение extend
22 Oбработки списков 2
221 удаление элемента
222 определение подсписка
223 перестановки
23 Порядковое представление списков в Прологе
231 Операции
24 Разностные списки
241 Разностный список
242 Хвостовая рекурсия
243 Хвостатизация
244 Примеры
25 Деревья
26 Сбалансированные деревья
27 Представления графов
271 В глубину
272 В ширину
IV Методы
28 Генерации, проверки, ветви и границы
281 Метод генерации и проверок
282 Метод ветвей и границ
29 Сокращения перебора
30 Пространство состояний
31 Операторы
32 Символьные вычисления
33 Подходы к символьному упрощению выражений
34 Языки
35 Условия
36 Расширение
Неполный вариант.
Полного пока не существует
если нужны TeX -- исходники обращайтесь