Znaleziono 60 projektów spełniających kryteria wyszukiwania:
Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji
Konkurs: OPUS 4 , panel: HS1
Kierownik: prof. Jan Hertrich-Woleński
Wyższa Szkoła Informatyki i Zarządzania z siedzibą w Rzeszowie, Wydział Administracji i Nauk Społecznych
Analityczne relacje równoważności i działania grup polskich
Konkurs: SONATA 3 , panel: ST1
Kierownik: dr Marcin Sabok
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: PRELUDIUM 3 , panel: ST1
Kierownik: dr Jan Dobrowolski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Kategoryjne ujęcie konstrukcji Fraisségo-Jónssona
Konkurs: OPUS 2 , panel: ST1
Kierownik: dr hab. Wiesław Kubiś
Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy
Konkurs: SONATA 1 , panel: HS4
Kierownik: dr Łukasz Hardt
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Aksjomatyzacje rozmaitości i quasirozmaitości
Konkurs: SONATA 1 , panel: ST1
Kierownik: dr Michał Stronkowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Empiryczne źródła wiedzy matematycznej
Konkurs: OPUS 1 , panel: HS1
Kierownik: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Ideały i działania grup na przestrzeniach polskich
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Michał Aleksander Morayne
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Piotr Bolesław Koszmider
Instytut Matematyczny Polskiej Akademii Nauk
Logika ciągła i jej algebraiczne zastosowania
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Aleksander Iwanow
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki