Логическое программирование (практикум, Д.В.Михайлов)
Материал из MachineLearning.
| Строка 14: | Строка 14: | ||
[[Media:method_lp.pdf|Лабораторный практикум по логическому программированию (PDF, 763КБ)]] | [[Media:method_lp.pdf|Лабораторный практикум по логическому программированию (PDF, 763КБ)]] | ||
| + | |||
| + | == Установочные лекции == | ||
| + | |||
| + | * [[Media:Lect_1_lp_mdv.pdf|Введение в концепцию логического программирования]] | ||
| + | |||
| + | * [[Media:Lect_2_lp_mdv.pdf|Основные особенности языка Пролог]] | ||
| + | |||
| + | * [[Media:Lect_3_lp_mdv.pdf|Рекурсия и списки]] | ||
| + | |||
| + | * [[Media:Lect_4_1_lp_mdv.pdf|Отсечение и его использование. Общие случаи использования отсечения. ]] | ||
| + | |||
| + | * [[Media:Lect_4_2_lp_mdv.pdf|Отсечение и его использование. Работа с множествами. ]] | ||
| + | |||
| + | * [[Media:Lect_4_3_lp_mdv.pdf|Отсечение и его использование. Организация циклических вычислений. ]] | ||
| + | |||
| + | * [[Media:Lect_5_1_lp_mdv.pdf|Решение логических задач. Метод "Образуй и проверь". ]] | ||
| + | |||
| + | * [[Media:Lect_5_2_lp_mdv.pdf|Решение логических задач методом поиска на пространстве состояний. ]] | ||
| + | |||
| + | * [[Media:Lect_6_lp_mdv.pdf|Работа с динамическими базами данных. ]] | ||
| + | |||
| + | * [[Media:Lect_7_lp_mdv.pdf|Экспертные системы на Прологе. ]] | ||
| + | |||
| + | * [[Media:Lect_8_lp_mdv.pdf|Обработка Естественного Языка. ]] | ||
| + | |||
| + | == Для самоконтроля == | ||
| + | |||
| + | [[Media:Exam_quest_lp_mdv.doc|Примерный список вопросов к теоретическому зачету по логическому программированию. ]] | ||
[[Категория:Учебные курсы]] | [[Категория:Учебные курсы]] | ||
[[Категория:Логическое программирование]] | [[Категория:Логическое программирование]] | ||
Версия 06:33, 23 сентября 2008
Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции логического программирования на примере двух наиболее известных реализаций языка Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2. Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.
Практикум предназначен для студентов специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем”, а также других, в учебных планах которых предусмотрены аналогичные дисциплины.
Автор практикума — Дмитрий Владимирович Михайлов, к.ф.-м.н., доцент кафедры Информационных технологий и систем Новгородского государственного университета им. Ярослава Мудрого.
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
Практикум является обязательным курсом для студентов спец. ПОВТ 3 курса, читается в 5-м семестре.
Лабораторный практикум по логическому программированию (PDF, 763КБ)
Установочные лекции
Для самоконтроля
Примерный список вопросов к теоретическому зачету по логическому программированию.
