КФ-033

Формальна філософія

Курси лекцій другого освітнього рівня КФ-033

КАФЕДРА ФОРМАЛЬНОЇ ФІЛОСОФІЇ

Погодив: Максим Сохацький
Код програми: КФ-033
Кількість кредитів: 120

Курси кафедри

Теорія категорій
Формальні логіки
Категоріальна логіка
Лямбда-числення
Модальні логіки
Теорія типів Мартіна-Льофа
Формалізація штучних мов
Формалізація людських мов
Мультимодальна гомотопічна теорія типів
Гіперграфові моделі фізики
Теорія топосів
Теорія інфініті-категорій

2016—2022 © Namdak Tönpa