Інфопакет

Програмні логіки та їх застосування

ДВС.2.05

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

Другий

2023/2024

3 Семестр

5

ПРН 19.2. Вибирати вихідні дані для проектування, керуючись формальними методами опису вимог та моделювання. ПРН 21.2. Знати та вміти застосовувати програмно-орієнтовані логічні формалізми.

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

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

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

1. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 2. Нікітченко М.С. Теорія програмування. – К., 2020. 3. Кривий С.Л.. Вступ до методів створення програмних систем. Київ, НаУКМА, 2018. 4. Дорошенко А.Ю., Жереб К.А., Иванов Е.В., Никитченко Н.С., Яценко Е.А. Формальные методы построения параллельных программ, Кропивницький, 2016.– 440 с. 5. Schneider K.: Verification of Reactive Systems. Formal Methods and Algorithms. – Berlin-Heidelberg: Springer-Verlag, 2004. 6. Nielson H.R. Semantics with Applications: A Formal Introduction / H.R. Nielson, F. Nielson //John Wiley & Sons Inc. P. 240., 1992.

Лекція, практичні заняття, самостійна робота. Контрольні роботи 1– 3, поточне оцінювання.

Семестрове оцінювання: 1. Контрольна робота 1: РН1.1, РН2.1 – 35 балів / 21 бал. 2. Контрольна робота 2: РН1.2, РН2.2 – 25 балів / 15 балів. 3. Контрольна робота 3: РН1.2, РН2.2 – 25 балів / 15 балів. 4. Поточне оцінювання: РН3.1, РН4.1, РН4.2 – 15 балів / 9 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.

Українська