Сайт викладача кафедри ІПІ ФІОТ Баклана Ігоря Всеволодовича

Сучасні технології програмування - 1. Функціональне програмування

Зима-весна 2020 року

Лекції

Лекція 1. Введення до парадигм програмування. 04 лютого 2020.

Лекція 2. Математичні основи функціонального програмування. 11 лютого 2020.

Лекція 3. Лиспоподібна мова Racket

Лекція 5-6. Теоретичні основи функціонального програмування.

Лекція 7. СКЛАДНІ СТРУКТУРИ В ФУНКЦІОНАЛЬНИХ МОВАХ ПРОГРАМУВАННЯ

Лекція 8. Рекурсія pdf. 7 квітня 2020

Відео 1 до лекції https://www.youtube.com/watch?time_continue=666&v=SNItHXTv4RI&feature=emb_logo

Відео 2 до лекції https://www.youtube.com/watch?v=c3N0QWa1huc

Література до лекції: 1) Rubio-Sanchez Manuel. Introduction to Recursive Programming. CRC Press, 2018. — 451 p. — ISBN 10 1498735282, 13 978-1498735285.

                                    2) Chong Chi Tat, Yu Liang. Recursion Theory. Walter de Gruyter, 2015. — 314 p. — (De Gruyter Series in Logic and Its Applications, 8). — ISBN 978-3-11-027564-3.

Лекція 9. Програмування рекурсивної графіки. 14 квітня 2020

Додаткові матеріали див. на сторінці

Лекція 10. Теорія функціональних програм pdf

                    Миронов, А. Теорія функціональних програм / А. Миронов. - LAP Lambert Academic Publishing, 2014.

Лекція 11. Терми і функціональні програми pdf

Лекція 12. Алгоритмічна повнота функціональних програм. Терми і спрощуючі перетворення. pdf

Лекція 13. Чисто функціональні мови програмування (Miranda, Haskell) pdf

Лекція 14. Чисто функціональні мови програмування (завершення) pdf

Лабораторні роботи

Література