Інфопакет

Математична логіка

ОК.14

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

Перший

2022/2023

3 Семестр

6

ПРН1. Застосовувати знання основних форм і законів абстрактнологічного мислення, основметодології наукового пізнання, форм і методів вилучення, аналізу, обробки та синтезу інформації в предметній області комп'ютерних наук. ПРН5. Проектувати, розробляти та аналізувати алгоритми розв’язання обчислювальних та логічних задач, оцінювати ефективність та складність алгоритмів на основі застосування формальних моделей алгоритмів та обчислюваних функцій.

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

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

Мета дисципліни – засвоєння базових знань з основ математичної логіки, включаючи вивчення семантичних моделей та формальних мов логіки, їх можливостей для опису предметних областей; вивчення формально-аксіоматичних логічних систем та систем пошуку доведень, можливостей їх застосування в прикладних областях. Навчальна дисципліна "Математична логіка" є складовою освітньо-професійної програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань 12 „Інформаційні технології” зі спеціальності 122 „Комп’ютерні науки”, освітньо-професійної програми „Інформатика”. Дана дисципліна є обов’язковою навчальною за програмою “Інформатика”. Викладається у 3 семестрі 2 курсу в обсязі – 180 год. (6 кредитів ECTS), зокрема: лекції – 56 год., практичні заняття – 28 год., консультації – 2 год., самостійна робота – 94 год. У курсі передбачено 3 контрольні роботи. Завершується дисципліна – іспитом в 3 семестрі.

1. Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К., 2008. 2. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 3. Шкільняк С.С. Математична логіка: приклади й задачі. – К., 2022. 4. Belnap N., Steel T. The logic of questions and answers. – Yale Univ. Press, 1976. 5. Boolos G., Jeffrey R. Computability and Logic. – Cambridge University Press, 1989. 6. Chang Ch.-L, Lee R. Symbolic Logic and Mechanical Theorem Proving, – Academic Press, 1973. 7. Gabbay D. Elementary Logic (A procedural perspective). – Prentice Hall Europe, 1998. 8. Kleene S.C. Mathematical Logic. – Dower Publications, 2013. 9. Kröger F., Merz S. Temporal logic and state systems. – Berlin-Heidelberg: Springer-Verlag, 2008. 10. Mendelson E. Introduction to Mathematical Logic. 6th ed. – CRC Press, 2015. 11. Shoenfield J. Mathematical Logic. – Addison-Wesley Publishing company, 1967.

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

Семестрове оцінювання (максимальна кількість балів): 1. Контрольна робота 1: РН 1.1, РН 2.1, РН 2.2 – 6 балів 2. Контрольна робота 2: РН 1.1, РН 2.1 – 16 балів 3. Контрольна робота 3: РН 1.2, РН 1.3, РН 2.2 – 14 балів 4. Домашнє контрольне завдання 1: РН 1.1, РН 1.2, РН 2.2, РН 3.1 – 5 балів 5. Домашнє контрольне завдання 2: РН 1.1, РН 2.1, РН 3.1 – 8 балів 6. Домашнє контрольне завдання 3: РН 1.2, РН 1.3, РН 2.2, РН 3.1 – 7 балів 7. Pобота студентів на заняттях: РН 3.1 – 4 бали Підсумкове оцінювання (у формі іспиту): - максимальна кількість балів які можуть бути отримані студентом: 40 балів; - результати навчання які будуть оцінюватись: PH 1.1, PH 1.2, PH 1.3, PH 2.1, PH 2.2; - форма проведення і види завдань: письмова форма.

Українська