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

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

Pracownicy i doktoranci

• dr hab. 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ł

• 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