Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

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

Dowiązania

Pracownicy i doktoranci

  • Bartosz Klin
    Teoria koalgebr i bialgebr
  • Leszek Kołodziejczyk
    Aksjomatyczne teorie artymetyki i ich związki z teorią obliczeń
  • 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
  • Andrzej Tarlecki
    Logika, teoria instytucji, teoria kategorii w podstawach informatyki
  • Paweł Urzyczyn
  • Bartosz Wcisło
  • 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