Інструментальні засоби та технології програмування

Освітня програма: Інформатика (заочна форма навчання)

Структурний підрозділ: Факультет комп'ютерних наук та кібернетики

Назва дисципліни
Інструментальні засоби та технології програмування
Код дисципліни
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Другий
Рік навчання
2022/2023
Семестр / Триместр
3 Семестр
Кількість кредитів ЕСТS
4
Результати навчання
ПРН18.2. Аналізувати, оцінювати і обирати методи, сучасні програмно-апаратні інструментальні та обчислювальні засоби, технології, алгоритмічні та програмні рішення для ефективного виконання конкретних виробничих задач з розробки програмного забезпечення. ПРН20.2. Мотивовано обирати технології програмування для розв’язання завдань створення і супроводження програмного забезпечення.
Форма навчання
Попередні умови та додаткові вимоги
1. Знати: загальні поняття мов програмування (синтаксис, семантика програми, об'єктно-орієнтований стиль програмування), основи теорії алгоритмів (рекурсивні функції та рекурсивні обчислення), основні поняття математичної логіки, зокрема, поняття резольвенти, резолютивного виводу. 2. Вміти: використовувати середовища розробки, редагування та виконання програм. 3. Володіти елементарними навичками: програмування чи специфікації програм, зокрема, які ґрунтуються на рекурсивних обчисленнях.
Зміст навчальної дисципліни
Мета навчального курсу – засвоєння базових знань та оволодіння навичками проектування та розробки програмних систем із застосуванням різних парадигм програмування з відповідними структурами даних, механізмами управління і технологіями. Навчальна дисципліна "Інструментальні засоби та технології програмування" є складовою освітньо-наукової програми підготовки фахівців за освітнім рівнем «магістр» галузі знань 12 "Інформаційні технології" за спеціальністю 122 "Комп’ютерні науки", програми "Прикладна інформатика". Вона є дисципліною спеціалізації "Теорія та технологія програмування". Викладається у 3 семестрі в обсязі – 120 годин. (4 кредити ECTS) зокрема: семінарські заняття – 30 год., самостійна робота – 88 год., консультації – 2 год. Завершується дисципліна заліком.
Рекомендована та необхідна література
1. Заяць В.М., Заяць М.М. Логічне і функціональне програмування. Системний підхід. Підручник. – 2-ге видання, випр. та доповн. – Рівне: НУВГП, 2018. - 422 с. 2. Лавріщева К. Програмна інженерія. - Київ., 2008, 319 с.
Заплановані освітні заходи та методи викладання
Семінарське заняття, самостійна робота, тестування, доповідь.
Методи та критерії оцінювання
Cеместрове оцінювання: 1. Контрольна робота (тест) 1: РН 1.1., РН 1.2 – 35 балів/35 балів. 2. Контрольна робота (тест) 2: РН1.2, РН1.2 - 35 балів/35 балів. 3. Підготовка доповіді: РН 2.1, РН 2.2, РН 3.1, РН 4.1 – 30 балів/30 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.
Мова викладання
Українська

Кафедри

Наступні кафедри задіяні у викладанні наведеної дисципліни

Теорії та технології програмування
Факультет комп'ютерних наук та кібернетики