Інфопакет

Парадигми програмування

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

Перший

2023/2024

3 Семестр

7

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

Очна форма

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

Навчальна дисципліна “Об’єктно-орієнтоване програмування” є складовою освітньопрофесійної програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти. В її рамках досліджуються переваги та недоліки об’єктно-орієнтованого підходу, розглядаються підходи до ефективної розробки програмного забезпечення, практикується використання інструментів індустріальної розробки програмних систем, систем контролю версій. Також відбувається розвиток вмінь реалізації алгоритмів та вивчаються основи аналізу складності. Дисципліна викладається у 3 та 4 семестрах 2 курсу в обсязі 210 год. (7 кредитів ECTS) зокрема: лекції – 54 год., лабораторні – 48 год., консультації – 2 год., самостійна робота – 106 год. У курсі передбачено 3 частини та 3 контрольні роботи. Семестр 3 завершується заліком, семестр 4 завершується іспитом.

1. Липовача М. Изучай Haskell во имя добра! М.: ДМК Пресс, 2012. 2. Lipovača M. Learn You a Haskell for Great Good! Miran Lipovača. : No Starch Press», 2011. 3. Душкин Р. В. Функциональное программирование на языке Haskell. М.: ДМК Пресс, 2007. 4. Братко И. Программирование на языке PROLOG для искусственного интеллекта. М.: Мир, 1990. 5. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. 6. Марселлус Д. Программирование экспертных систем на Турбо-Прологе, М., Финансы и статистика, 1994. 410с. 7. Хохгуртль Б., C# и Java: межплатформенные Web-сервисы, М., Кудиц-образ, 2004, 410с. 8. Машнин Т.С. Web-сервисы Java, БХВ-Петербург, 2012, 560 с.

Лекція, лабораторне заняття, самостійна робота

Контрольна робота, іспит.

Українська