Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
Kierownik: dr Maciej Maria Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 11, panel: ST6
-
2. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 6, panel: ST6
-
3. Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 16, panel: ST6