Інфопакет

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

ОК.14

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

Перший

2021/2022

3 Семестр

6

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

Очна форма

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

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

1. Клини С. Математическая логика. – М.: Наука, 1973. 2. Мендельсон Э. Введение в математическую логику. – М., 1976. 3. Нікітченко М.С., Шкільняк С.С. Прикладна логіка. – К., 2013. 4. Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К., 2008. 5. Шенфилд Дж. Математическая логика. – М., 1975. 6. Шкільняк С.С. Математична логіка: приклади і задачі. – К., 2007.

Лекція, самостійна робота, практичні заняття, поточне оцінювання, домашнє контрольне завдання, контрольна робота, іспит.

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

Українська