Перейти к основному содержимому

Функциональное и логическое программирование

Информация о курсе

Цель дисциплины – сформировать у будущего бакалавра знания, умения и навыки в области декларативной парадигмы программирования, функционального и логического программирования.

Изучаются технологии разработки программ на языках высокого уровня Lisp/Prolog. Спецификации SWI-Prolog и Common Lisp.

Темы курса: основы функциональной парадигмы; программирование чистых функций языка Лисп; представление символьных данных; лямбда-выражения; рекурсивные функции; основные элементы языка Пролог; запись фактов и правил; общая схема доказательства целевого утверждения.

Требования

Необходимо иметь опыт процедурного программирования.

Команда курса

Гудаев Олег Александрович

Гудаев Олег Александрович

Старший преподаватель кафедры "Искусственный интеллект и системный анализ"

Ольшевский Андрей Иванович

Ольшевский Андрей Иванович

Старший преподаватель кафедры "Искусственный интеллект и системный анализ"

Часто задаваемые вопросы

Какую реализацию Common Lisp установить на компьютер?

Используется Веб-службу интерпретатора Лисп на сайте сообщества Common Lisp.

Почему Пролог спецификации SWI-Prolog?

Потому что, бестиповый язык, как Лисп; используется в операционной системе роботов ROS. Используется установка Пролога SWI-Prolog stable versions.

Внести в список