Інструментальні засоби та технології програмування
Освітня програма: Інформатика (заочна форма навчання)
Структурний підрозділ: Факультет комп'ютерних наук та кібернетики
Назва дисципліни
Інструментальні засоби та технології програмування
Код дисципліни
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Другий
Рік навчання
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 балів.
Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.
Мова викладання
Українська
Викладачі
Ця дисципліна викладаеться наступними викладачами

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