Функциональное и логическое программирование
Литература:
1. Сергиевский Г.М. Функциональное и логическое программирование : учеб.пособие для студ. высш. учеб. заведений
/ Г. М. Сергиевский, Н.Г.Волчёнков. — М. : Издательский центр «Академия», 2010. — 320 с.
2. Ездаков А.Л. Функциональное и логическое программирование: учебное пособие. – М.: БИНОМ. Лаборатория знаний, 2009. – 119 с.
3. Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика – М.: Мир, 1985. - 606 с.
4. Душкин Р. В. функциональное программирование на языке Haskell. - М.: ДМК Пресс, 2007. - 608 с.
5. Антон Холомьёв Учебник по Haskell. [url].
6. John Harrison Introduction to Functional Programming (1996/7). [url].
7. Бенджамин Пирс Типы в языках программирования / Перевод с англ. М.: Издательство «Лямбда пресс»: «Добросвет», 2011.
8. Денис Шевченко О Haskell по-человечески. издание 2.0. www.ohaskell.guide. 2016
8. Хабаров С.П. Интеллектуальные информационные системы. PROLOG - язык разработки интеллектуальных и экспертных систем: учебное пособие. - СПб. СПбГЛТУ, 2013.- 138 с.
9. Основы логического и функционального программирования. Электронное учебное пособие. [html].
10.Роганова Н.А. Функциональное программирование: Учебное пособие для студентов высших учебных заведений - М.:ГИНФО, 2002. - 260с.
11.Братко И. Алгоритмы искусственного интеллекта на языке PROLOG, 3-е издание. : Пер. с англ. — М.: 2004.— 640 с.
Презентации:
1. Введение [pdf]
2. Введение [pdf]
Полезные ссылки:
Обзор литературы о функциональном программировании [url].
Учебник по Haskell [url].
О Haskell по-человечески [url].
The latest version of the Haskell Platform for Windows is 8.0.1 [url].
Try Haskell in your browser [url].
The GNU Prolog web site [url].
MIT/GNU Scheme [url].
Контрольные мероприятия: