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

Освітня програма: Системний аналіз

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

Назва дисципліни
Теорія алгоритмів та математична логіка
Код дисципліни
ОК.29
Тип модуля
Обов’язкова дисципліна для ОП
Цикл вищої освіти
Перший
Рік навчання
2023/2024
Семестр / Триместр
4 Семестр
Кількість кредитів ЕСТS
4
Результати навчання
ПР 2. Вміти розпізнавати стандартні схеми для розв’язання комбінаторних та логічних задач, що сформульовані природною мовою; застосовувати класичні алгоритми для перевірки властивостей та класифікації об’єктів, множин, відношень, графів, груп, кілець, решіток, булевих функцій тощо. ПР15. Розуміти українську та іноземну мови на рівні, достатньому для обробки фахових інформаційнолітературних джерел, професійного усного і письмового спілкування, написання текстів за фаховою тематикою.
Форма навчання
Дистанційне навчання
Попередні умови та додаткові вимоги
Знати: базові поняття дискретної математики: основи теорії множин, теорії відношень, теорії булевих функцій. Вміти: встановлювати основні теоретико-множинні співвідношення, використовувати апарат теорії булевих функцій.
Зміст навчальної дисципліни
Мета дисципліни – засвоєння базових знань з основ математичної логіки та теорії алгоритмів, включаючи вивчення семантичних моделей та формальних мов логіки, вивчення формально-аксіоматичних логічних систем та систем пошуку доведень, вивчення формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, питань обчислюваності, розв’язності та нерозв’язності масових проблем. Навчальна дисципліна «Теорія алгоритмів та математична логіка» є складовою освітньо-професійної програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань №12 «Інформаційні технології» зі спеціальності №124 «Системний аналіз» освітньо-професійної програми „Системний аналіз”. Дана дисципліна є обов’язковою навчальною за програмою „Системний аналіз” . Викладається у 4 семестрі 2 курсу в обсязі – 120 год. (4 кредити ECTS), зокрема: лекції –30 год., практичні заняття – 30 год., самостійна робота –60 год. У курсі передбачено 4 контрольні роботи. Завершується дисципліна – заліком в 4 семестрі.
Рекомендована та необхідна література
1. Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К., 2008. 2. Трохимчук Р. М., Нікітченко М. С. Дискретна математика у прикладах і задачах. Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2017. - 248 с. 3. Зубенко В.В., Шкільняк С.С. Основи математичної логіка: навчальний посібник. К.: НУБіП України, 2020.– 102 с.
Заплановані освітні заходи та методи викладання
Лекція, практичні заняття, самостійна робота. Контрольні роботи 1– 4, поточне оцінювання.
Методи та критерії оцінювання
Семестрове оцінювання: 1. Контрольна робота 1: РН 1.1, РН 2.2 – 20 балів / 12 балів. 2. Контрольна робота 2: РН 1.1, РН 2.1 – 20 балів / 12 балів. 3. Контрольна робота 3: РН 1.2, РН 1.3, РН 2.2 – 20 балів / 12 балів. 4. Контрольна робота 4 (питання з лекційного курсу): РН 1.1 – РН 1.3 – 20 балів / 12 балів. 5. Робота студентів на практичних заняттях (поточне оцінювання): РН2.2, РН 3.1 – 20 балів/ 12 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.
Мова викладання
Українська