Nie jesteś zalogowany |
Powrót do listy pracowników
dr hab. Leszek Kołodziejczyk, prof. UW
- Afiliacja
-
profesor uczelni,
Instytut Matematyki
- L.Kolodziejczyk@mimuw.edu.pl
- Telefon
- 55-44-518
- Pokój
- 5180
- Strona internetowa
- http://www.mimuw.edu.pl/~lak
- Konsultacje
- Środa 14:30 - 15:30 Terminy konsultacji obowiązują w czasie trwania zajęć
Publikacje
Funkcje
- Wicedyrektor Instytutu Instytut Matematyki
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
