Інфопакет

Композиційні логіки

ОК.09

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

Другий

2023/2024

2 Семестр

4

ПРН1. Мати спеціалізовані концептуальні знання, що включають сучасні наукові здобутки у сфері комп’ютерних наук і є основою для оригінального мислення та проведення досліджень, критичне осмислення проблем у сфері комп’ютерних наук та на межі галузей знань. ПРН7. Розробляти та застосовувати математичні методи для аналізу інформаційних моделей. ПРН16. Виконувати дослідження у сфері комп’ютерних наук. ПРН20. Створювати та досліджувати інформаційні та математичні моделі систем і процесів, що досліджуються, зокрема об’єктів автоматизації.

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

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

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

1. Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К., 2008. 2. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 3. Belnap N., Steel T. The logic of questions and answers. – New Haven and London: Yale Univ. Press, 1976. 4. Handbook of Logic in Computer Science. Edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum. – Oxford Univ. Press. – Vol. 1–5, 1993–2000. 5. Hoare C.A.R., Jifeng He. Unifying Theories of Programming. – London: Prentice Hall Europe, 1998. 6. Schneider K.: Verification of Reactive Systems. Formal Methods and Algorithms. – Berlin-Heidelberg: Springer-Verlag, 2004. 7. Clarke E.M., Grumberg O., Peled D.: Model Checking. MIT Press (1999). 8. Kröger F., Merz S. Temporal logic and state systems. – Berlin-Heidelberg: Springer-Verlag, 2008.

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

Семестрове оцінювання : 1. Контрольна робота 1 (тест): РН 1.1, РН 1.2, РН 2.1 – 10 бали / 6 балів. 2. Контрольна робота 2 (тест): РН 1.3, РН 2.1 – 10 балів / 6 балів. 3. Реферат / Course paper: РН 3.1, РН 4.1 – 15 балів / 9 балів. 4. Проєкт: РН 1.3, РН 2.1, РН 3.1, РН 4.1 – 20 балів / 12 балів. 5. Поточне оцінювання / Current evaluation: РН 3.1, РН 4.1 – 5 балів / 3 бали. Підсумкове оцінювання: - максимальна кількість балів які можуть бути отримані студентом: 40 балів; - результати навчання які будуть оцінюватись: PH 1.1 – PH 1.3, PH 2.1 - форма проведення: письмова форма.

Українська, англійська