Інфопакет

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

ДВС.2.05

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

Другий

2022/2023

3 Семестр

5

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

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

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

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

1. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 2. Нікітченко М.С. Теорія програмування. – К., 2020. 3. Кривий С.Л.. Вступ до методів створення програмних систем. Київ, НаУКМА, 2018. 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 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.

Українська