Функціональне програмування

Освітня програма: Програмна інженерія

Структурний підрозділ: Факультет комп'ютерних наук та кібернетики

Назва дисципліни
Функціональне програмування
Код дисципліни
ДВС.2.06
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Другий
Рік навчання
2022/2023
Семестр / Триместр
7 Семестр
Кількість кредитів ЕСТS
6
Результати навчання
ПРН27.1 Аналізувати, оцінювати і вибирати інструментальні та обчислювальні засоби, технології, алгоритмічні і програмні рішення для розв’язання завдань інженерії програмного забезпечення. ПРН29.1 Знати та вміти застосовувати сучасні технології та методи проєктування та програмування.
Форма навчання
Дистанційне навчання
Попередні умови та додаткові вимоги
Знати: парадигми програмування, зокрема процедурне та об’єктно-орієнтоване програмування; теорію алгоритмів. Вміти: програмувати, використовуючи процедурний та об’єктно-орієнтований підходи.
Зміст навчальної дисципліни
Метою курсу вивчення функціонального програмування на прикладі мови Haskell та основ лямбда-числення. У результаті вивчення навчальної дисципліни студент повинен: знати: теоретичні основи лямбда-числення; концепцію та прийоми функціонального програмування; вміти: програмувати на мові Haskell.
Рекомендована та необхідна література
1. М.М. Верес, О.В. Галкін, Є.О. Демківський та ін. Функціональне програмування: навчальний посібник [Електронний ресурс]. – Київ, 2022. – 178 с. – Режим доступу: http://tinyurl.com/56s7em5e 2. Міран Ліповача. Вивчить собі Хаскела на велике щастя! [Електронний ресурс], 2017. – Режим доступу: https://haskell.trygub.com/ 3. Will Kurt. Get Programming with Haskell, Manning Publications, 2018, 616 p. 4. C. Hankin. An Introduction to Lambda Calculi for Computer Scientists, Kings College, 2004, 164 p. 5. Henk Barendregt. The Lambda Calculus. Its Syntax and Semantics, College Publications, 2012, 656 p.
Заплановані освітні заходи та методи викладання
Лекції, лабораторні заняття, самостійна робота, контрольна робота, захист лабораторної роботи.
Методи та критерії оцінювання
Семестрове оцінювання (максимальна кількість балів які можуть бути отримані студентом: 60 балів): контрольна робота 1 та 2: 9 балів кожна; лабораторна робота 1, 2 та 3: 14 балів кожна. Підсумкове оцінювання: іспит. Максимальна кількість балів, які можуть бути отримані: 40 балів. Форма іспиту: письмово-усна. Студент може бути недопущений до іспиту, якщо під час семестру: 1) він не досяг мінімального порогового рівня (60%) балів, набраних за лабораторні роботи; 2) здобутих балів не достатньо для отримання загальної позитивної оцінки навіть за умови максимального балу за іспит. Для отримання загальної позитивної оцінки з дисципліни оцінка за іспит не може бути меншою 24 балів.
Мова викладання
українська

Викладачі

Ця дисципліна викладаеться наступними викладачами

Кафедри

Наступні кафедри задіяні у викладанні наведеної дисципліни