Теорія графів
Робоча програма навчальної дисципліни (відповідно до вимог МОН України).
Документ містить мету, результати навчання, структуру змісту, систему оцінювання та літературу.
Код курсу: КВ-123-02
Кафедра: Кафедра теоретичної інформатики
Кількість кредитів ECTS: 6 (180 годин)
Рівень: Бакалавр / Магістр
Мета та завдання
Формування глибоких знань і практичних навичок у галузі «Теорія графів». Курс інтегрує класичні результати з сучасними формальними методами (теорія типів, категорійна логіка, механічна верифікація), відповідно до профілю Кафедра теоретичної інформатики.
Результати навчання
- Володіти основними поняттями та конструкціями курсу «Теорія графів».
- Застосовувати теоретичні результати до розв’язання задач.
- Формалізувати ключові твердження в системах доведення теорем (за можливості).
- Демонструвати навички самостійного дослідження та академічної доброчесності.
Структура курсу (модулі)
- Основні поняття теорії графів
- Дерева та обходи
- Спектральна теорія
- Алгоритми на графах
- Застосування
Система оцінювання (100 балів)
- Поточний контроль (практичні, домашні, лабораторні, формалізація): 40 балів
- Модульні контрольні роботи (2): 20 балів
- Підсумковий іспит / захист проєкту: 40 балів
Шкала: 90–100 — відмінно; 75–89 — добре; 60–74 — задовільно; <60 — незадовільно.
Рекомендована література
- Основні монографії та підручники з теми (рекомендовані кафедрою).
- Статті та матеріали з формальної математики (HoTT, теорія категорій).
- Внутрішні конспекти та формалізації Інституту Формальної Математики / Groupoid Infinity.