To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

Logika matematyczna i teoria kategorii

Logika (słabe teorie arytmetyczne, logika kategoryjna, logiki nieklasyczne) i jej zastosowania w informatyce i w sztucznej inteligencji. Teoria kategorii i jej zastosowania.

Pracownicy
  • Bartosz Klin
    Teoria koalgebr i bialgebr
  • Leszek Kołodziejczyk
    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ł
  • Hung Son Nguyen
    Zastosowania logiki w sztucznej inteligencji
  • Andrzej Skowron
    Zastosowania logiki w sztucznej inteligencji
  • Andrzej Szałas
    Logiki nieklasyczne, logiki wyższych rzędów, eliminacja kwantyfikatorów, zastosowania logiki w sztucznej inteligencji
  • Stanisław Szawiel
    Teoria wyższych kategorii i jej zastosowania w matematyce i fizyce
  • Marcin Szczuka
    Zastosowania logiki w sztucznej inteligencji
  • Andrzej Tarlecki
    Logika, teoria instytucji, teoria kategorii w podstawach informatyki
  • Marek Zawadowski
    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
Dowiązania
Seminaria