Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. 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
-
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