Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Struktura klasy Selberga i arytmetyczne zastosowania funkcji L.
Konkurs: OPUS 21 , panel: ST1
Kierownik: prof. Jerzy Kaczorowski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
-
Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Konkurs: OPUS 14 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki