Логическое программирование (практикум, Д.В.Михайлов)

Материал из MachineLearning.

(Различия между версиями)
Перейти к: навигация, поиск
 
Строка 7: Строка 7:
Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]],
Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]],
-
кафедра Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого].
+
кафедра Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого (НовГУ)].
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович

Текущая версия

Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции логического программирования на примере двух известных реализаций языка Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2. Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.

Практикум предназначен для студентов специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных систем», а также других, в учебных планах которых предусмотрены аналогичные дисциплины.

Автор практикума — Дмитрий Владимирович Михайлов, кафедра Информационных технологий и систем Новгородского государственного университета им. Ярослава Мудрого (НовГУ).

Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович

Представленный здесь вариант практикума в 2020 году лёг в основу учебного модуля «Функциональное и логическое программирование» по направлению подготовки «Информатика и вычислительная техника» (бакалавриат) в НовГУ. Актуальная редакция материалов учебного модуля представлена на портале «Дистанционные образовательные технологии обучения в НовГУ» (требуется регистрация). Смотри также Лабораторный практикум по функциональному программированию.

Лабораторный практикум по логическому программированию (PDF, 763КБ)

Содержание

Установочные лекции

Демо

Полезные ссылки

Для самоконтроля

Примерный список вопросов к теоретическому зачету по логическому программированию.

Примечания


К сожалению, незарегистрированные пользователи не видят литературных ссылок из раздела «Демо» (данный дефект системы находится в стадии проработки). Тем не менее, Вы можете найти цитируемый источник, используя вкладку «Просмотр» на данной странице.