Освітня програма «Формальна філософія та математика»
Кафедра формальної філософії
Рівень вищої освіти: другий (магістерський)
Спеціальність: 111 Математика (або 033 Філософія — за вибором)
Галузь знань: 11 Математика та статистика
1. Мета освітньої програми
Підготовка фахівців, здатних здійснювати дослідження та практичну діяльність у галузі формальної філософії, теорії категорій, гомотопічної теорії типів, формальної логіки та механічної верифікації математики. Програма поєднує філософські основи з сучасними формальними методами.
2. Програмні результати навчання (вибірково)
- Володіти основами теорії категорій, теорії типів та гомотопічної теорії типів.
- Формалізувати математичні твердження в системах залежних типів.
- Аналізувати логічні та філософські аспекти формальних систем.
- Застосовувати категорійну логіку та теорію топосів до розв’язання задач.
- Демонструвати навички академічної доброчесності та самостійного дослідження.
3. Навчальний план (магістерський рівень, 90 кредитів ECTS, 1,5 роки)
| Семестр | Дисципліна | Код | Кредити ECTS | Форма контролю |
|---|---|---|---|---|
| 1 | Теорія категорій | КФ-033-01 | 6 | Іспит |
| Формальні логіки | КФ-033-02 | 6 | Іспит | |
| Лямбда-числення | КФ-033-04 | 5 | Залік | |
| Модальні логіки | КФ-033-05 | 5 | Залік | |
| 2 | Категоріальна логіка | КФ-033-03 | 6 | Іспит |
| Теорія типів Мартіна-Льофа | КФ-033-06 | 6 | Іспит | |
| Формалізація штучних мов | КФ-033-07 | 5 | Залік | |
| Теорія топосів | КФ-033-10 | 5 | Залік | |
| 3 | Мультимодальна гомотопічна теорія типів | КФ-033-09 | 6 | Іспит |
| Теорія інфініті-категорій | КФ-033-11 | 6 | Іспит | |
| Формалізація людських мов | КФ-033-08 | 4 | Залік | |
| Курсова робота | — | 3 | Залік | |
| Практична підготовка / Науково-дослідна робота | — | 7 | Залік | |
| Кваліфікаційна (дипломна) робота | — | 20 | Захист | |
| Разом | 90 | |||
4. Робочі програми дисциплін
Детальні робочі програми (мета, результати навчання, структура модулів, система оцінювання, література) інтегровані безпосередньо в сторінки курсів:
- Теорія категорій (КФ-033-01)
- Формальні логіки (КФ-033-02)
- Теорія типів Мартіна-Льофа (КФ-033-06)
- Мультимодальна гомотопічна теорія типів (КФ-033-09)
Інші дисципліни кафедри мають аналогічну структуру на своїх сторінках у каталозі курсів.