Інфопакет

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

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

Другий

2021/2022

3 Семестр

5

РН1.1 Знати основні поняття і методи теорії програмування, математичної логіки. РН1.2 Знати ієрархію логік, логічні числення, формальні методи. РН2.1 Вміти формалізувати специфікації програмного забезпечення за допомогою апарату програмних логік, аналізувати істинність побудованих специфікацій.

Очна форма

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

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

1. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 2. Нікітченко М.С. Теорія програмування. – К., 2020. 3. Кривий С.Л.. Вступ до методів створення програмних систем. Київ, НаУКМА, 2018. 4. Дорошенко А.Ю., Жереб К.А., Иванов Е.В., Никитченко Н.С., Яценко Е.А. Формальные методы построения параллельных программ, Кропивницький, 2016.– 440 с. 5. Schneider K.: Verification of Reactive Systems. Formal Methods and Algorithms. – BerlinHeidelberg: 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 7. Dijkstra E.W. A Discipline of Programming / E.W. Dijkstra // Prentice-Hall, Englewwod Cliffs, New Jersey, 1976.

Семінарські заняття, контрольна робота, самостійна робота, поточне оцінювання.

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

Українська