Інфопакет

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

ДВС.2.06

Вибіркова дисципліна для ОП

Другий

2023/2024

7 Семестр

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 балів.

українська