Дисципліна розрахована на аспірантів із спеціальності 121 "Програмна інженерія"
ЛЕКЦІЇ
Лекція 1. Класифікація мов програмування. Історія виникнення різних парадигм програмування. Знайомство з особливостями функціонального програмування. Ядро функцій мови LISP.
Література до 1 лекції:
1. Peter Van Roy. The principal programming paradigms (2008). pdf
2. R. W. Floyd. The Paradigms of Programming Communications of the ACM, 22(8):455—460, 1979. Русский перевод см. в кн.: Лекции лауреатов премии Тьюринга за первые двадцать лет (1966—1985), М.: МИР, 1993.
3. Concepts, Techniques, and Models of Computer Programming pdf
Лекція 2. λ -числення Черча. Рекурсія. Приклади функціонального програмування.
Література до 2 лекції:
1. Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика. — М.: Мир, 1985. — 606 с.
2. Барендрегт Х. Бестиповое λ-исчисление // Справочная книга по математической логике. / Под редакцией Дж. Барвайса. — М.: Наука, 1983. — Т. 4: Теория доказательств. — С. 278—318.
3. The Imperative and Functional Programming Paradigm pdf
4. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. pdf
Практичні заняття
Практичне заняття №1. Функціональне програмування на LISP. pdf
ПІДСУМКОВА РОБОТА
Підсумкова робота передбачає виконання одного й того ж індивідуального завдання - створення програм на п'яти мовах програмування різних парадігм програмування: процедурної, ООП, функціональної, логічної, ймовірнісної.
Індивідуальні завдання слухачі отримують у викладача.