Інфопакет

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

ДВС.3.01.01

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

Перший

2022/2023

4 Семестр

5

ПРН4. Виконувати математичний опис, аналіз та синтез дискретних об’єктів та систем, використовуючи поняття й методи дискретної математики, теорії алгоритмів та математичної логіки. ПРН8. Розробляти дискретні та неперервні математичні моделі.

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

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

Мета дисципліни – засвоєння базових знань з основ математичної логіки та теорії алгоритмів, включаючи вивчення семантичних моделей та формальних мов логіки, вивчення формально-аксіоматичних логічних систем та систем пошуку доведень, вивчення формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, питань обчислюваності, розв’язності та нерозв’язності масових проблем. Навчальна дисципліна «Математична логіка та теорія алгоритмів» є складовою освітньо-професійної програми підготовки фахівців за першим рівнем вищої освіти галузі знань 11 «Математика та статистика» зі спеціальності 113 «Прикладна математика», освітньо-професійної програми „Прикладна математика”. Дана дисципліна є дисципліною за вибором за навчальною програмою „Прикладна математика” Викладається у 4 семестрі в обсязі – 150 год. (5 кредитів ECTS), зокрема: лекції –42 год., практичні заняття – 32 год., консультації – 2 год., самостійна робота – 74 год. У курсі передбачено 3 контрольні роботи. Завершується дисципліна – іспитом у 4 семестрі.

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

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

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

Українська