Інфопакет

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

ДВС.2.04

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

Другий

2022/2023

3 Семестр

5

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

Дистанційне навчання

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

Мета дисципліни – засвоєння базових знань та оволодіння навичками проектування та розробки програмних систем із застосуванням різних парадигм програмування з відповідними структурами даних, механізмами управління і технологіями. Навчальна дисципліна "Інструментальні засоби та технології програмування" є складовою освітньо-наукової програми підготовки фахівців за освітнім рівнем «магістр» галузі знань 12 "Інформаційні технології" за спеціальністю 122 "Комп’ютерні науки", програми "Інформатика". Вона є дисципліною спеціалізації "Теорія та технологія програмування". Викладається у 3 семестрі в обсязі – 150 годин. (5 кредитів ECTS) зокрема: семінарські заняття – 44 год., самостійна робота – 106 год. Завершується дисципліна заліком в 3 семестрі.

1. М.С. Нікітченко, С.С. Шкільняк. Математична логіка та теорія алгоритмів. – К., 2008. 2. Кривий С.Л. Вступ до методів створення програмних продуктів : [навч. посібник для студентів ВНЗ та аспірантів, які спеціалізуються за напрямом "Комп"ютерні науки" та "Інженерія програмного забезпечення"] / С.Л. Кривий; Нац. ун-т "Києво-Могилян. акад.". – Київ: НаУКМА, 2018. – 449 с. 3. Schneider K.: Verification of Reactive Systems. Formal Methods and Algorithms. Springer-Verlag Berlin Heidelberg (2004). 4. Hoare C.A.R., Jifeng He. Unifying Theories of Programming. – London: Prentice Hall Europe, 1998. – 298 p. 5. Clarke E.M., Grumberg O., Peled D.: Model Checking. MIT Press (1999).

Семінарське заняття, самостійна робота.

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 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.

Українська