Логическое программирование (практикум, Д.В.Михайлов)
Материал из MachineLearning.
(→Демо) |
|||
Строка 6: | Строка 6: | ||
Практикум предназначен для студентов специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем”, а также других, в учебных планах которых предусмотрены аналогичные дисциплины. | Практикум предназначен для студентов специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем”, а также других, в учебных планах которых предусмотрены аналогичные дисциплины. | ||
- | Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]] | + | Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]], |
доцент кафедры Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого]. | доцент кафедры Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого]. | ||
Версия 17:11, 3 марта 2014
Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции логического программирования на примере двух наиболее известных реализаций языка Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2. Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.
Практикум предназначен для студентов специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем”, а также других, в учебных планах которых предусмотрены аналогичные дисциплины.
Автор практикума — Дмитрий Владимирович Михайлов, доцент кафедры Информационных технологий и систем Новгородского государственного университета им. Ярослава Мудрого.
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
Практикум является обязательным курсом для студентов спец. ПОВТ 3 курса, читается в 5-м семестре.
Лабораторный практикум по логическому программированию (PDF, 763КБ)
Установочные лекции
Демо
Для самоконтроля
Примерный список вопросов к теоретическому зачету по логическому программированию.