Logika matematyczna i teoria kategorii

Opis

Teoria modeli i jej związki z klasyczną matematyką. Aksjomatyczne teorie arytmetyki i ich modele, matematyka odwrotna. Logika kategoryjna i logiki nieklasyczne. Teoria kategorii i jej zastosowania. Zastosowania logiki w informatyce i w sztucznej inteligencji.

Seminaria

• Seminarium "Logika matematyczna"
• Seminarium „Teoria kategorii”
• Research Seminar of the Logic Group: Approximate reasoning in data mining

Pracownicy i doktoranci

• dr Daniel Hoffmann

  Logika matematyczna: teoria modeli, neostabilność, teoria grup i teoria Galois, algebra różnicowa i różniczkowa

• dr hab. Leszek Kołodziejczyk

  Logika matematyczna: niestandardowe modele arytmetyki, matematyka odwrotna, teoria dowodu, złożoność dowodów

• dr hab. Maciej Malicki

  Zastosowania logiki w deskryptywnej teorii mnogości i topologii, teoria Fraïsségo

• 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