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

Освітня програма: Програмна інженерія

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

Назва дисципліни
Теорія алгоритмів та математична логіка
Код дисципліни
ННД.13
Тип модуля
Обов’язкова дисципліна для ОП
Цикл вищої освіти
Другий
Рік навчання
2023/2024
Семестр / Триместр
4 Семестр
Кількість кредитів ЕСТS
5
Результати навчання
ПРН-5. Знати і застосовувати відповідні математичні поняття, методи доменного, системного і об’єктно-орієнтованого аналізів та математичного моделювання для розробки програмного забезпечення. ПРН-6. Уміння вибирати та використовувати відповідну задачі методологію створення програмного забезпечення. ПРН-13. Знати і застосовувати методи розробки алгоритмів, конструювання програмного забезпечення та структур даних і знань. ПРН-27.1. Аналізувати, оцінювати і вибирати інструментальні та обчислювальні засоби, технології, алгоритмічні і програмні рішення для розв’язання завдань інженерії програмного забезпечення. ПРН-28.1. Знати та мати навички реалізації основних алгоритмів та структур даних програмування.
Форма навчання
Дистанційне навчання
Попередні умови та додаткові вимоги
1. Знати: основи дискретної математики, деякі глави математичного аналізу, алгебри та програмування. 2. Вміти: розв’язувати рівняння та системи лінійних алгебраїчних рівнянь над полем натуральних чисел. 3. Володіти навичками: процесами алгоритмізації в програмуванні.
Зміст навчальної дисципліни
Мета дисципліни – опанування теоретичних питань алгоритмізації, основних методів розв’язування логічних задач, засобів побудови логічних моделей задач з різних предметних областей. В результаті вивчення навчальної дисципліни студент повинен: знати основні алгоритмічні системи, відомості про алгоритмічно нерозв'язні проблеми, фундаментальні результати теорії обчислюваності, основні логічні системи та фундаментальні результати про неповноту, методи розв’язування логічних задач; вміти будувати логічні моделі задач, досліджувати питання алгоритмізації в рамках алгоритмічних систем, доводити правильність логічних формул засобами синтаксичних та семантичних логічних систем.
Рекомендована та необхідна література
1. А. И. Мальцев. Алгоритмы и рекурсивные функции – Київ. – Наукова думка. – 2017. 2. О. І. Провотар. Конкретна алгоритміка. – М. – Наука. – 2017. 3. Р. Смальян. Теория формальных систем. – М. – Наука. – 1981. 4. Ч. Чень, Р. Ли. Математическая логика и автоматическое доказательство теорем. – М. –Наука. – 1983. 5. Г. П. Гаврилов. Сборник задач по дискретной математике. – М. – Наука. – 1977. 6. Я .В. Хромой. Збірник вправ і задач з математичної логіки. – Київ. – Вища школа. – 1978. 7. О. І. Провотар, О. С. Шлільняк. Приклади й задачі з теорії алгоритмів та математичної логіки. – Київ. ВПЦ «Київський університет». – 2012.
Заплановані освітні заходи та методи викладання
Лекції, практичні заняття, самостійна робота, контрольні роботи, домашні завдання, іспит.
Методи та критерії оцінювання
- семестрове оцінювання: 1. Контрольна робота 1: РН 1.1, РН 1.2 — 20 балів. 2. Контрольна робота 2: РН1.3 — 20 балів. 3. Контрольна робота 3: РН 1.1, РН 1.2 , РН2.1 — 20 балів. 4. Контрольна робота 4: РН1.3, РН2.1 — 20 балів. - підсумкове оцінювання (у формі іспиту): - максимальна кількість балів: 40 балів; - результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1; - форма проведення і види завдань: письмова. Види завдань: 4 письмових завдань.
Мова викладання
Українська