Інфопакет

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

ОК.09

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

Другий

2023/2024

2 Семестр

4

ПРН16. Знати та вміти застосовувати логічні формалізми.

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

Знати: базові поняття математичної логіки: мови пропозиційної логіки та логіки 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 – 20 бали / 12 балів 2. Контрольна робота 2: РН 1.3, РН 2.1 – 20 балів / 12 балів 3. Реферат: РН 3.1, РН 4.1 – 15 балів / 9 балів 4. Поточне оцінювання: РН 3.1, РН 4.1 – 5 балів / 3 бали Підсумкове оцінювання: - максимальна кількість балів які можуть бути отримані студентом: 40 балів; - результати навчання які будуть оцінюватись: PH 1.1 – PH 1.3, PH 2.1 - форма проведення: письмова форма.

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