Інфопакет

Програмно-орієнтовані логіки

ОК.15

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

Другий

2023/2024

2 Семестр

3

ПРН01. Знати і системно застосовувати методи аналізу та моделювання прикладної області, виявлення інформаційних потреб і збору вихідних даних для проектування програмного забезпечення. ПРН08. Проводити аналітичне дослідження параметрів програмних систем для їх валідації та верифікації, проводити аналіз обраних методів, засобів автоматизованого проектування та реалізації програмного забезпечення. ПРН13. Набувати нові наукові і професійні знання в області прикладних логік, вдосконалювати навички, прогнозувати розвиток програмних систем та інформаційних технологій.

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

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

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

1. Papadimitriou C.R. Computational complexity. – Addison-Wesley/ - 1994. -532 p. 2. Fisher M.J., Ladner R.E. Propositional Modal Logic of Programs. . In Proc. 9-th ACM Ann. Symposium on Theory of Computing. – 1977. - P. 286 -294. 3. Fisher M.J., Ladner R.E. Propositional Dynamic Logic of regular programs. J. Comp. System Sci. - 1979. - v.18. - N 2. - P. 194-211. 4. Goldblatt R. Logics of Time and Computation. - Lecture Notes. - N 7. Center for the Study Of Language and Information. - 1987. - P. 1-27. 5. Ben-Ari M. Mathematical Logic for Computer Science. - Prentice Hall International (UK) Ltd. – 1993. - 305 p. 6. Bryant R.E. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. - Scool of Comp. Science, Carnegi Mellon University, Pittsburg. - 1992 (june). - 34 p.

Лекції, самостійна робота, контрольні роботи, домашні завдання, захист домашніх робіт, іспит.

- семестрове оцінювання: 1. Контрольна робота (тест) 1: РН 1.1,РН 1.2 - 10 балів/6 балів. 2. Контрольна робота (тест) 2: РН1.3 - 10 балів/6 бали. 3. Домашні завдання 1-7: РН 1.1,РН 1.2,РН1.3- 10 балів/6 балів. 4. Захист домашньої роботи 1 (проекту): РН 2.1,РН3.1,РН4.1,РН4.2 – 11 балів/6 балів. 5. Захист домашньої роботи 2 (проекту): РН 2.1,РН3.1,РН4.1,РН4.2 – 8 балів/5 балів. 6. Захист домашньої роботи 3 (проекту): РН 2.1, РН3.1,РН4.1, РН4.2 – 11 балів/6 балів. Одну з форм контролю студент має право замінити на здачу сертифікату з можливістю отримання 9 балів. Для реалізації цього права студент повинен до 1.10 поточного року написати та прикріпити в classroom заяву зі своїм персональним підписом. - підсумкове оцінювання (у формі іспиту): - максимальна кількість балів: 40 балів; - результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1.

Українська