Курсът запознава студентите с характерните черти и теоретичните основи на функционалното програмиране. Изучават се основните конструкции на езиците за функционално програмиране и структурата на функционалните програми. Особено внимание се отделя на някои специфични въпроси като функции от по-висок ред, анонимни функции, дефиниране на функции на функционално ниво, частично прилагане на функции, отложено оценяване и работа с безкрайни потоци, „мързеливо“ оценяване и др. Дискутират се основните принципи на създаване на ефективен код на езика Scheme/Racket и се представят средства за изследване на свойствата на функционални програми на езика Haskell. Разглеждат се някои характерни приложения на езиците за функционално програмиране.
- Преподавател: Боян Бонев
- Преподавател: Калоян Йовчев
- Преподавател: Мария Нишева-Павлова
- Преподавател: Симеон Христов
- Преподавател: Александър Каракушев
- Преподавател: Стоян Малинин
- Преподавател: Минко Марков
- Преподавател: Александър Тангълов
- Преподавател: Кристиян Тодоров
- Преподавател: Петър Евгениев
- Преподавател: Мартин Иванов
- Преподавател: Александър Моравски
- Преподавател: Маргарита Николова
- Преподавател: Надежда Рибарска
- Преподавател: Явор Александров
- Преподавател: Нора Ангелова
- Преподавател: Иван Арабаджийски
- Преподавател: Христо Георгиев
- Преподавател: Алексис Датсерис
- Преподавател: Ангел Димитриев
- Преподавател: Генчо Жилков
- Преподавател: Ива Караджова
- Преподавател: Стойчо Кьосев
- Преподавател: Захари Маринов
- Преподавател: Ивайло Петков
- Преподавател: Владимир Стоянов
- Преподавател: Наделина Шипочка
- Преподавател: Панчо Бешков
- Преподавател: Антъни Господинов
- Преподавател: Петър Евгениев
- Преподавател: Азнив Каспарян
- Преподавател: Люба Конова
- Преподавател: Йоана Петкова
- Преподавател: Янита Терзиева
- Преподавател: Георги Георгиев
- Преподавател: Радослав Иванов
- Преподавател: Борислав Ризов
- Преподавател: Даниел Трополинов
- Преподавател: Калоян Цветков
- Преподавател: Александър Александров
- Преподавател: Борислав Драганов
- Преподавател: Зорница Христова
- Преподавател: Георги Атанасов
- Преподавател: Дамян Бойчев
- Преподавател: Кристиян Войнски
- Преподавател: Любен Георгиев
- Преподавател: Васил Захариев
- Преподавател: Христо Канев
- Преподавател: Петър Колев
- Преподавател: Мартин Маринов
- Преподавател: Мартин Маринов
- Преподавател: Димитър Милев
- Преподавател: Калин Николов
- Преподавател: Калин Николов
- Преподавател: Димитър Пенков
- Преподавател: Трифон Трифонов
- Преподавател: Виктория Христова
- Преподавател: Евгения Великова-Бандова
- Преподавател: Деян Джундреков
- Преподавател: Диана Радкова
- Преподавател: Диана Радкова
- Преподавател: Константин Табаков