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

  • Teoria koalgebr i bialgebr
  • Aksjomatyczne teorie artymetyki i ich związki z teorią obliczeń
  • Zastosowania logiki w sztucznej inteligencji
  • Logiki nieklasyczne, logiki wyższych rzędów, eliminacja kwantyfikatorów, zastosowania logiki w sztucznej inteligencji
  • Teoria wyższych kategorii i jej zastosowania w matematyce i fizyce
  • Logika, teoria instytucji, teoria kategorii w podstawach informatyki
  • 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