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

Освітня програма: Прикладна Математика

Структурний підрозділ: Факультет комп'ютерних наук та кібернетики

Назва дисципліни
Математична логіка та теорія алгоритмів
Код дисципліни
ДВС.3.01.01
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Перший
Рік навчання
2023/2024
Семестр / Триместр
4 Семестр
Кількість кредитів ЕСТS
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 - форма проведення: письмова.
Мова викладання
Українська

Кафедри

Наступні кафедри задіяні у викладанні наведеної дисципліни

Теорії та технології програмування
Факультет комп'ютерних наук та кібернетики