Парадигми та технології програмування
Освітня програма: Інформатика (перший (бакалаврський) рівень вищої освіти)
Структурний підрозділ: Факультет комп'ютерних наук та кібернетики
Назва дисципліни
Парадигми та технології програмування
Код дисципліни
ВК.2.03
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Перший
Рік навчання
2023/2024
Семестр / Триместр
6 Семестр
Кількість кредитів ЕСТS
4
Результати навчання
ПРН18.2. Знати та вміти застосовувати підходи щодо оцінки та забезпечення якості програмного забезпечення.
ПРН19.2. Аналізувати, оцінювати і вибирати інструментальні та обчислювальні засоби, парадигми, технології, алгоритмічні і програмні рішення при проектуванні та розробці програмних систем.
Форма навчання
Дистанційне навчання
Попередні умови та додаткові вимоги
Знати: загальні поняття мов програмування (синтаксис, семантика програм, об'єктно-орієнтований стиль програмування), основи теорії алгоритмів (рекурсивні функції та рекурсивні обчислення), основні поняття математичної логіки, зокрема, поняття резольвенти, резолютивного виводу.
Вміти: використовувати різноманітні середовища розробки, редагування та виконання програм.
Володіти елементарними навичками: специфікації та програмування рекурсивних обчислень.
Зміст навчальної дисципліни
Навчальна дисципліна “Парадигми та технології програмування” є складовою програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань 12 „Інформаційні технології” зі спеціальності 122 „Комп’ютерні науки”, освітньо-професійної програми –„Інформатика”.
Дана дисципліна є навчальною дисципліною за вибором освітньо-професійної програми “Інформатика”.
Викладається у 6 семестрі 3 курсу в обсязі – 120 год. (4 кредити ECTS), зокрема: лекції – 28 год., лабораторні – 14 год., консультації – 2 год.,
самостійна робота – 76 год. У курсі передбачено 3 частини. Завершується дисципліна – іспитом.
Рекомендована та необхідна література
1. Snell J., Tidwell D., Kulchenko P., Programming Web Services With SOAP, 2002, 237p. 5. O'Sullivan B., Goerzen J., Stewart D. Real World Haskell 1st Edition, 2008, 671p.
2. Lipovača M. Learn You a Haskell for Great Good! Miran Lipovača. : No Starch Press», 2011, 383p.
3. Bratko I., Prolog Programming for Artificial Intelligence (4th Edition), 2011, 442p.
Заплановані освітні заходи та методи викладання
Лекції, консультації, самостійна робота
Методи та критерії оцінювання
Семестрове оцінювання:
1. Тести: РН 1.1., РН 1.2, РН 1.3 — по 6/3,6 балів.
2. Самостійна лабораторна робота 1: РН 2.1 –– 14(4+4+6)/8,4 балів.
2. Самостійна лабораторна робота 2: РН 2.2 –– 18(5+5+8)/10,8 балів.
4. Самостійна лабораторна робота 3 : РН 2.3 –– 10(3+3+4)/6 балів.
- підсумкове оцінювання (у формі іспиту):
- максимальна кількість балів, які можуть бути отримані студентом: 40 балів;
- результати навчання, які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1, PH2.2, PH2.3;
- форма проведення і види завдань: письмова робота.
Структура екзаменаційної роботи та критерії оцінювання:
2 теоретичних питання (по 8 балів), 2 задачі (по 12 балів).
Мова викладання
Українська
Викладачі
Ця дисципліна викладаеться наступними викладачами

Олена
Володимирівна
Шишацька
Теорії та технології програмування
Факультет комп'ютерних наук та кібернетики
Факультет комп'ютерних наук та кібернетики
Кафедри
Наступні кафедри задіяні у викладанні наведеної дисципліни
Теорії та технології програмування
Факультет комп'ютерних наук та кібернетики