Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 14, panel: ST1
-
2. Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych
Kierownik: prof. Jarosław Andrzej Grytczuk
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
3. Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 25, panel: ST1