Логічне та функціональне програмування (кн)
Тип: Нормативний
Кафедра: програмування
Навчальний план
Семестр | Кредити | Звітність |
7 | 3 | Іспит |
Лекції
Семестр | К-сть годин | Лектор | Група(и) |
7 | 32 | доцент Ярошко С. А. | ПМі-41, ПМі-42, ПМі-43, ПМі-44, ПМі-45 |
Лабораторні
Семестр | К-сть годин | Група | Викладач(і) |
7 | 32 | ПМі-41 | Івасько Н. М., доцент Ярошко С. А. |
ПМі-42 | Івасько Н. М., Нобіс В. В. | ||
ПМі-43 | Івасько Н. М., Нобіс В. В. | ||
ПМі-44 | Івасько Н. М., доцент Селіверстов Р. Г. | ||
ПМі-45 | Івасько Н. М., доцент Селіверстов Р. Г. |
Опис курсу
Фокус уваги курсу спрямовано на вивчення засад декларативного програмування. Засоби та методи написання програм у логічному стилі проілюстровано мовою Prolog, засоби та методи функціонального програмування – з використанням
Lisp і Python. Для опису задачі логічний стиль застосовує твердження і правила, функціональний – оголошення та виклики функцій. Розглянуто питання правильної побудови рекурсії, використання монад. Курс пов’язаний з дисциплінами
“Програмування”, “Теорія алгоритмів”, “Алгоритми і структури даних”.
Рекомендована література
Основна література
- SWI Prolog Reference manual – Електронний ресурс. Режим доступу: https://www.swi-prolog.org/pldoc/doc_for?object=manual
- Prolog Tutorial – Електронний ресурс. Режим доступу: https://www.tutorialspoint.com/prolog/index.htm
- Ivan Bratko Prolog Programming For Artificial Intelligence. Fourth Edition – Addison Wesley, 2021. – 697 с.
- Шумейко О. О. Visual Prolog. Опануй на прикладах : навч. посіб. / О. О. Шумейко, В.М. Кнуренко. – Дніпропетровськ : Біла К. О., 2014. – 404 с.
- Learn Lisp – Електронний ресурс. Режим доступу: https://www.tutorialspoint.com/lisp/index.htm
- Steven Lott Functional Python Programming – Packt Publishing Ltd., 2015 – 339 p.
Додаткова література
- Learn Common Lisp – Електронний ресурс. Режим доступу: https://lisp-lang.org/learn/
- Christian Neumanns Simple Introduction to Monads – CodeProject [Електронний ресурс] – Режим доступу: https://www.codeproject.com/Articles/5290753/Simple-Introduction-to-Monads
- David Mertz Functional Programming in Python – O’Reilly Media, Inc., 2015 – 39 p.
- Online courses – https://www.classcentral.com/report/best-free-prolog-courses/