Інфопакет

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

ВК.2.05

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

Другий

2023/2024

4 Семестр

6

ПРН25.2 Знати та вміти застосовувати програмно-орієнтовані логічні формалізми при створенні інформаційних та програмних систем.

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

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

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

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

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

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

Українська