Сучасні технології програмування - 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.
Лекція 9. Програмування рекурсивної графіки. 14 квітня 2020
Додаткові матеріали див. на сторінці
Лекція 10. Теорія функціональних програм pdf
Миронов, А. Теорія функціональних програм / А. Миронов. - LAP Lambert Academic Publishing, 2014.
Лекція 11. Терми і функціональні програми pdf
Лекція 12. Алгоритмічна повнота функціональних програм. Терми і спрощуючі перетворення. pdf
Лекція 13. Чисто функціональні мови програмування (Miranda, Haskell) pdf
Лекція 14. Чисто функціональні мови програмування (завершення) pdf
Лабораторні роботи
Література