Інфопакет

Прикладні та композиційні логіки

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

Другий

2021/2022

3 Семестр

6

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

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

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

1. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 2. Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Чисті першопорядкові логіки квазіарних предикатів // Проблеми програмування. – 2016. – № 2–3. 3. Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Cеквенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення // Проблеми програмування. – 2020. – № 2–3. 4. Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Логіки загальних недетермінованих предикатів: семантичні аспекти // Проблеми програмування. – 2018. – № 2–3. 5. Шкільняк О.С. Mодальні логіки немонотонних часткових предикатів // Вісник Київського унту. Серія: фіз.-мат. науки. – 2015. – Вип. 3. 6. Шкільняк С.С. Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності // Проблеми програмування. – 2019. – № 3. 7. Kröger F., Merz S. Temporal logic and state systems. – Berlin-Heidelberg: Springer-Verlag, 2008.

Лекція, самостійна робота, контрольна робота, захист реферату, іспит.

– семестрове оцінювання (максимальна кількість балів): 1. Контрольна робота 1: РН 1.1, РН 1.2, РН 2.1 – 24 бали 2. Контрольна робота 2: РН 1.3, РН 2.1 – 20 балів 3. Реферат: РН 1.1, РН 1.2, РН 3.1, РН 4.1 – 12 балів 4. Поточне оцінювання (активна робота на заняттях): РН 3.1 – 4 бали – підсумкове оцінювання (у формі іспиту): – максимальна кількість балів які можуть бути отримані студентом: 40 балів; – результати навчання які будуть оцінюватись: PH 1.1 – PH 1.3, PH 2.1 – форма проведення і види завдань: письмова форма.

Українська