Інфопакет

Теорія програмування

ОК.32

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

Перший

2023/2024

5 Семестр

4

ПРН1. Застосовувати знання основних форм і законів абстрактнологічного мислення, основ методології наукового пізнання, форм і методів вилучення, аналізу, обробки та синтезу інформації в предметній області комп'ютерних наук. ПРН5. Проектувати, розробляти та аналізувати алгоритми розв’язання обчислювальних та логічних задач, оцінювати ефективність та складність алгоритмів на основі застосування формальних моделей алгоритмів та обчислюваних функцій.

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

Знати: основні поняття, засоби і методи програмування, їх застосування в інформатиці; знати мови програмування та логіки 1-го порядку, їх можливості для опису предметних областей. Вміти: описувати на формальних мовах 1-го порядку твердження стосовно тих чи інших предметних областей та властивостей програм; встановлювати істинність пропозиційних формул, формул 1-го порядку. Володіти елементарними навичками: програмування в сучасних мовах, тестування програм, перевірки виконуваності формул.

Мета дисципліни – засвоєння основних теоретичних концепцій, принципів та понять сучасного, зокрема композиційного, програмування; методів формалізації мов програмування та доведення коректності програм. Навчальна дисципліна «Теорія програмування» є складовою освітньо-професійної програми підготовки спеціалістів за освітньо-кваліфікаційним рівнем «бакалавр» галузі знань 12 „Інформаційні технології” зі спеціальності 122 „Комп’ютерні науки”, освітньо-професійної програми – „Інформатика”. Дана дисципліна є обов’язковою навчальною дисципліною за програмою “Інформатика”. Викладається в 5 семестрі 3 курсу бакалаврату в обсязі 120 годин. (4 кредити ECTS) зокрема: лекції – 28 год., консультації – 2 год., практичних занять – 28 год., самостійна робота – 62 год. У курсі передбачено 2 частини та 2 контрольні роботи. Завершується дисципліна – іспитом в 5 семестрі.

1. М.С. Нікітченко. Теорія програмування. Частина 1. Навчальний посібник. – Ніжин. Видавництво НДУ імені М.В. Гоголя, 2010.– 119 с. 2. Eric C.R. Hehner. A Practical Theory of Programming. - Springer-Verlag Publishers, New York, 2021. – 243 р. 3. John E. Hopcroft, R. Motvany, Jeffrey D. Ulman. Automata theory, languages, and computation. - 3rd ed. – Pearson/ Addison Wesltey, 2022. – 535 p. 4. M. Balaban. Principles of Programming Languages. - Ben-Gurion University of the Negev Faculty of Natural Science Department of Computer Science, 2017. – 418 р. 5. Semantics - Advances in Theories and Mathematical Models. - IN-TECH, 2012. – 284 р.

Лекція, практичні заняття, самостійна робота.

Семестрове оцінювання: 1. Контрольна робота 1: РН 1.1, РН 1.2 — 10 балів/6 балів. 2. Контрольна робота 2: РН 1.1, РН1.3 - 15 балів/9 балів. 3. Проєктне завдання: РН 1.1, РН 1.2, РН 2.1, РН1.3, РН 3.1 - 10 балів/6 балів. 4. Домашні завдання: РН 1.1, РН 1.2, РН 2.1, РН1.3, РН 4.1 - 15 балів/9 балів 5. Поточне оцінювання: РН 2.1., РН 3.1, РН 4.1 – 10 балів/6 балів. Підсумкове оцінювання (у формі іспиту): - максимальна кількість балів які можуть бути отримані студентом: 40 балів/ 24 бали; - результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1, РН3.1, РН4.1; - форма проведення і види завдань: письмова робота.

Українська