Функціональне програмування
Освітня програма: Інженерія комп’ютерних систем і мереж
Структурний підрозділ: Факультет радіофізики, електроніки та комп’ютерних систем
Назва дисципліни
Функціональне програмування
Код дисципліни
ВБ 2.3
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Перший
Рік навчання
2022/2023
Семестр / Триместр
7 Семестр
Кількість кредитів ЕСТS
4
Результати навчання
Студент повинен знати основні поняття та терміни функціонального програмування, основи роботи в середовищі Haskell Platform, базовий синтаксис мови Haskell, основні керуючи конструкції (оператори) мови Haskell, правила створення методів та передачі параметрів методам, правила створення класів в мові Haskell, використання об’єктів в програмах.
Форма навчання
Очна форма
Попередні умови та додаткові вимоги
Вивчення дисципліни «Функціональне програмування» передбачає попереднє вивчення нормативних дисциплін „Програмування”, „Алгоритми та методи обчислень”, „Сучасні методи програмування”, дисципліни самостійного вибору студентів „Веб-програмування”.
Зміст навчальної дисципліни
Дисципліна вільного вибору «Функціональне програмування» включає такі основні поняття як хвостова рекурсія, функціональні структури даних, дерева, циклічні конструкції, рекурсія, рекурсивні структури даних, списки, зіставлення зі зразком, мемоізація. Всі поняття, що вивчаються, ілюструються застосуванням на практиці.
Рекомендована та необхідна література
1. G. Hutton. Programming in Haskell. Cambridge University Press, 2016.
2. H.Abelson, G.J.Sussman, J.Sussman. Structure and Interpretation of Computer Programs, 2nd Edition MIT Press, 1996. -http://mitpress.mit.edu/sicp/.
3. R. Bird. Thinking functionally with Haskell. Cambridge University Press, 2014.
4. M. Lipovaca. Learn you a Haskell for Great good. No Starch Press, 2011.
5. http://haskell.org – офіційний сайт мови Haskell.
Заплановані освітні заходи та методи викладання
Дана дисципліна викладається в обсязі 120 год., зокрема: лекції – всього 30 год., лабораторні – 90 год, курсом передбачено 2 змістових модулі, підсумковий контроль проводиться у формі іспиту.
Методи та критерії оцінювання
- семестрове оцінювання: передбачено проведення однієї усної контрольної роботи за матеріалом занять. За модульну контрольну роботу нараховується максимум 20 балів. Виконання лабораторних робіт оцінюється максимум в 40 балів. По результатах семестрового оцінювання студент може отримати до 60 балів.
- підсумкове оцінювання (у формі іспиту): форма іспиту – письмово-усна. Всього за іспит можна отримати від 0 до 40 балів. Умовою досягнення позитивної оцінки за дисципліну є отримання не менш ніж 60 балів, оцінка за іспит не може бути меншою 20 балів.
Мова викладання
Українська
Викладачі
Ця дисципліна викладаеться наступними викладачами
Олександр
Юрійович
Масютка
Кафедра математики та теоретичної радіофізики
Факультет радіофізики, електроніки та комп’ютерних систем
Факультет радіофізики, електроніки та комп’ютерних систем
Кафедри
Наступні кафедри задіяні у викладанні наведеної дисципліни
Кафедра математики та теоретичної радіофізики
Факультет радіофізики, електроніки та комп’ютерних систем