Badania

Badania prowadzone w Katedrze obejmują głównie dziedziny matematyki mogące mieć zastosowanie w informatyce oraz pewne działy matematyki dyskretnej wywodzące się z geometrii i fizyki matematycznej

• gramatyki kategorialne, lingwistyka matematyczna
• logika matematyczna
• teoria rekursji
• kombinatoryczne i algebraiczne aspekty geometrii dyskretnej
• klasyczne i kwantowe dyskretne układy całkowalne
  

W Katedrze prowadzone są seminaria naukowe:

• Seminarium Katedry Matematyki Dyskretnej i Teoretycznych Podstaw Informatyki: piątki 8:00-9:30, A1/6
• Układy Dynamiczne i Geometria: czwartki, 13:15-14:45, A2/17

Wykaz monografii naukowych:

• ...
• ...
  

Wykaz ważniejszych publikacji:

• ...
• ...
• ...