Інфопакет

Парадигми та технології програмування

ВК.2.03

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

Перший

2023/2024

6 Семестр

4

ПРН18.2. Знати та вміти застосовувати підходи щодо оцінки та забезпечення якості програмного забезпечення. ПРН19.2. Аналізувати, оцінювати і вибирати інструментальні та обчислювальні засоби, парадигми, технології, алгоритмічні і програмні рішення при проектуванні та розробці програмних систем.

1. Знати: загальні поняття мов програмування (синтаксис, семантика програм, об'єктно-орієнтований стиль програмування), основи теорії алгоритмів (рекурсивні функції та рекурсивні обчислення), основні поняття математичної логіки, зокрема, поняття резольвенти, резолютивного виводу. 2. Вміти: використовувати різноманітні середовища розробки, редагування та виконання програм. 3. Володіти елементарними навичками: специфікації та програмування рекурсивних обчислень.

Навчальна дисципліна “Парадигми та технології програмування” є складовою програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань 12 „Інформаційні технології” зі спеціальності 122 „Комп’ютерні науки”, освітньо-професійної програми –„Інформатика”. Дана дисципліна є навчальною дисципліною за вибором освітньо-професійної програми “Інформатика”, вибірковий блок «Теорія та технологія програмування». Викладається у 6 семестрі 3 курсу в обсязі – 120 год. (4 кредити ECTS) зокрема: лекції – 42 год., консультації – 2 год., самостійна робота – 76 год. У курсі передбачено 3 частини. Завершується дисципліна – іспитом.

Основні: 1. https://classroom.google.com/u/0/c/MjY4Mjg5NjUzMzQw - презентації та умови завдань лабораторного практикуму. 2. Lipovača M. Learn You a Haskell for Great Good! Miran Lipovača. : No Starch Press», 2011, 383p. (Липовача М. Изучай Haskell во имя добра! М.: ДМК Пресс, 2012, 490с.). 3. Bratko I., Prolog Programming for Artificial Intelligence (4th Edition), 2011, 442p. ( Братко И. Программирование на языке PROLOG для искусственного интеллекта. М.: Мир, 1990, 559с.. 4. Марселлус Д. Программирование экспертных систем на Турбо-Прологе, М., Финансы и статистика, 1994. 410с. 5. Snell J., Tidwell D., Kulchenko P., Programming Web Services With SOAP, 2002, 237p. 6. O'Sullivan B., Goerzen J., Stewart D. Real World Haskell 1st Edition, 2008, 671p. ..

Лекції, консультації, самостійна робота

- семестрове оцінювання: 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 балів)

Українська