Гудаев Олег Александрович
Старший преподаватель кафедры "Искусственный интеллект и системный анализ"
Функциональное и логическое программирование
Информация о курсе
Цель дисциплины – сформировать у будущего бакалавра знания, умения и навыки в области декларативной парадигмы программирования, функционального и логического программирования.
Изучаются технологии разработки программ на языках высокого уровня Lisp/Prolog. Спецификации SWI-Prolog и Common Lisp.
Темы курса: основы функциональной парадигмы; программирование чистых функций языка Лисп; представление символьных данных; лямбда-выражения; рекурсивные функции; основные элементы языка Пролог; запись фактов и правил; общая схема доказательства целевого утверждения.
Требования
Необходимо иметь опыт процедурного программирования.
Команда курса
Ольшевский Андрей Иванович
Старший преподаватель кафедры "Искусственный интеллект и системный анализ"
Часто задаваемые вопросы
Какую реализацию Common Lisp установить на компьютер?
Используется Веб-службу интерпретатора Лисп на сайте сообщества Common Lisp.
Почему Пролог спецификации SWI-Prolog?
Потому что, бестиповый язык, как Лисп; используется в операционной системе роботов ROS. Используется установка Пролога SWI-Prolog stable versions.