Інфопакет

Формальнi методи розробки програмних систем

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

Другий

2021/2022

2 Семестр

5

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

Очна форма

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

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

1. С.Л. Кривий. Вступ до методів створення програмних систем. Київ, НаУКМА,2018.–449 с. 2. Дорошенко А.Ю., Жереб К.А., Иванов Е.В., Никитченко Н.С., Яценко Е.А. Формальные методы построения параллельных программ, Кропивницький, 2016.– 440 с. 3. М.С. Нікітченко, С.С. Шкільняк. Математична логіка та теорія алгоритмів. – К., 2008. 4. М.С. Нікітченко, С.С. Шкільняк. Прикладна логіка. – К., 2013.– 277 с.

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

- семестрове оцінювання / semester assessment: 1. Контрольна робота 1: РН 1.1., РН 1.2 — 25 балів/15 балів. 2. Контрольна робота 2: РН1.3, РН2.1 – 25 балів/15 балів. 3. Поточне оцінювання: РН2.1, РН3.1, РН4.1 – 10 балів /6 балів. Здобувач освіти може бути недопущений до підсумкового оцінювання, якщо під час семестру він: 1) не досяг мінімального порогового рівня (60%) оцінки тих результатів навчання, які не можуть бути оцінені під час підсумкового контролю; 2) набрав кількість балів, що є недостатньою для отримання позитивної оцінки навіть у випадку досягнення ним на підсумковому контролі максимально можливого результату. Рекомендований мінімум – 36 балів

Українська