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