Nie jesteś zalogowany |
Logika matematyczna i teoria kategorii
Opis
Logika (aksjomatyczne teorie arytmetyki, logika kategoryjna, logiki nieklasyczne) i jej zastosowania w informatyce i w sztucznej inteligencji. Teoria kategorii i jej zastosowania.
Seminaria
Pracownicy i doktoranci
-
dr hab. Leszek Kołodziejczyk, prof. UW
Logika matematyczna: słabe arytmetyki, w szczególności ich własności matematyczne (dowodliwość niesprzeczności) i częściowe kolapsy niektórych hierarchii formuł
-
prof. dr hab. Andrzej Szałas
Logiki nieklasyczne, logiki wyższych rzędów, eliminacja kwantyfikatorów, zastosowania logiki w sztucznej inteligencji
-
prof. dr hab. Andrzej Tarlecki
Logika, teoria instytucji, teoria kategorii w podstawach informatyki
- prof. dr hab. Paweł Urzyczyn
-
dr hab. Marek Zawadowski, prof. UW
Logika, teoria kategorii, teoria kategorii wyższych wymiarów i jej zastosowania, szczególnie w kategoriach multitopowych; logika kategoryjna pierwszego rzędu, teoria toposów, logiki intuicjonistyczne i modalne, teoria zstępowania
