Powrót do listy pracowników
dr hab. Leszek Kołodziejczyk
- Afiliacja
-
profesor uczelni,
Instytut Matematyki
- Konsultacje
- Środa 14:30 - 15:30 Terminy konsultacji obowiązują w czasie trwania zajęć
- Telefon
- 55-44-518
Publikacje
Dziedziny badań
Granty
- Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
- Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
- Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
- Indukcja dla formuł ograniczonych i jej relatywizacje