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

ЛЭТИ, ОФ, 2017-2018 учебный год

Преподаватель: Пономарев Андрей Васильевич

Варианты

Лекции

• Лекция 1. Введение в функциональное программирование. Язык Haskell
• Лекция 2. Основные приемы функционального программирования
• Лекция 3. Функции высших порядков. Структуры данных
• Лекция 4. Функциональное программирование. Post Scriptum
• Лекция 5. Логическое программирование. Основы языка Prolog
• Лекция 6. Логическое программирование. Поиск с возвратом, обработка списков и деревьев в Prolog

Лабораторные работы

• Лабораторная работа 1. Знакомство со средой Haskell Platform. Простейшие функции
• Лабораторная работа 2. Основные приемы функционального программирования
• Лабораторная работа 3. Структуры данных в Haskell. Ввод-вывод
• Лабораторная работа 4. Знакомство со средой SWI-Prolog

Дистрибутивы

• Haskell Platform (7.10.3)
• SWI-Prolog (7.x)

Рекомендуемая литература

• Г. Макеев Основы функционального программирования на языке Haskell (в формате Google Docs, в других форматах)
• Н.А. Роганова Функциональное программирование: Учебное пособие для студентов высших учебных заведений - М.: ГИНФО, 2002. - 260 с.
• M. Lipovaca Learn You a Haskell for Great Good! (на английском). Есть перевод: М. Липовача Изучай Haskell во имя добра! / Пер. с англ. Леушина Д., Синицына А., Арсанукаева Я. - М.: ДМК Пресс, 2012. - 490 с.
• Братко И. Алгоритмы искусственного интеллекта на языке Prolog. Вильямс, 2004. - 640 с.
• Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. – М.: Мир, 1990. – 235 с.