Інфопакет

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

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

Перший

2023/2024

6 Семестр

4

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

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

Мета дисципліни – оволодіння навичками проектування та розробки програмних систем із застосуванням різноманітних парадигм програмування з відповідними структурами даних, механізмами управління та технологіями. В результаті вивчення навчальної дисципліни студент повинен знати: суть і підґрунтя парадигми логічного програмування та парадигми функціонального програмування, основні конструкції мов програмування Prolog та Haskell, суть декларативних засобів для об'єктно-орієнтованої парадигми; вміти: застосовувати логічний та функціональний стилі програмування при розв’язуванні програмістських задач; використовувати відомі та створювати власні декларативні засоби програмування стосовно об'єктно-орієнтованої парадигми, зокрема, для платформ Java та .Net.

1. Lipovača M. Learn You a Haskell for Great Good! Miran Lipovača. : No Starch Press», 2011, 383p. (Липовача М. Изучай Haskell во имя добра! М.: ДМК Пресс, 2012, 490с.). 2. Bratko I., Prolog Programming for Artificial Intelligence (4th Edition), 2011, 442p. ( Братко И. Программирование на языке PROLOG для искусственного интеллекта. М.: Мир, 1990, 559с. 3. Marcellus D. Expert Systems Programming in Turbo Prolog, 1989, 227p. (Марселлус Д. Программирование экспертных систем на Турбо-Прологе, М., Финансы и статистика, 1994. 410с.) 4. 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.

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

- семестрове оцінювання: 1. Контрольна робота : РН 1.1, РН 2.1 –– 24/14,4 балів. 2. Контрольна робота: РН 1.2, РН 2.2 –– 24/14,4 балів. 3. Контрольна робота: РН 1.3, РН 2.3 –– 12/7,2 балів. - підсумкове оцінювання (у формі екзамену): максимальна кількість балів які можуть бути отримані студентом: 40 балів; результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1, PH2.2, PH2.3.

Українська