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

Дисципліна розрахована на аспірантів із спеціальності 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

ПІДСУМКОВА РОБОТА

Підсумкова робота передбачає виконання одного й того ж індивідуального завдання - створення програм на п'яти мовах програмування різних парадігм програмування: процедурної, ООП, функціональної, логічної, ймовірнісної.

Індивідуальні завдання слухачі отримують у викладача.