Інфопакет

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

ННД.13

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

Другий

2023/2024

3 Семестр

4

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

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

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

Мета дисципліни – поглиблення знань з математичної логіки, включаючи вивчення систем пошуку доведень, програмно-орієнтованих логічних формалізмів; набуття компетенцій, знань, умінь та навиків стосовно прикладного використання апарату математичної логіки в інформатиці й програмуванні. Навчальна дисципліна «Прикладні та композиційні логіки» є складовою освітньо-наукової програми підготовки фахівців за освітньо-кваліфікаційним рівнем «магістр» галузі знань 12 „Інформаційні технології” зі спеціальності 122 „Комп’ютерні науки”, освітньо-наукової програми „Інформатика”. Дана дисципліна є обов’язковою навчальною за програмою “Інформатика”. Викладається у 3 семестрі 2 курсу магістратури в обсязі – 120 год. (4 кредити ECTS), зокрема: лекції – 38 год., консультації – 2 год., самостійна робота – 80 год. У курсі передбачено 2 контрольні роботи та реферат. Завершується дисципліна – іспитом в 3 семестрі.

1. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 2. Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Чисті першопорядкові логіки квазіарних предикатів // Пробл. Програмування, 2016, № 2–3. 3. Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Логіки загальних недетермінованих предикатів: семантичні аспекти // Пробл. Програмування, 2018, № 2–3. 4. Шкільняк О.С. Mодальні логіки немонотонних часткових предикатів // Вісник Київського унту. Сер.: фіз.-мат. науки, 2015, Вип. 3. 5. Шкільняк С.С. Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності // Пробл. Програмування, 2019, № 3. 6. 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. 7. Kröger F., Merz S. Temporal logic and state systems. – Springer-Verlag, 2008. 8. Schneider K. Verification of Reactive Systems. Formal Methods and Algorithms. – Springer-Verlag, 2004.

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

Семестрове оцінювання (максимальна кількість балів): 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, РН 1.2, PH 1.3, PH 2.1; – форма проведення і види завдань: письмова форма.

Українська