Znaleziono 63 projektów spełniających kryteria wyszukiwania:
Algebraiczne i topologiczne metody w teorii modeli
Konkurs: SONATA BIS 6 , panel: ST1
Kierownik: prof. Krzysztof Krupiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał.
Konkurs: PRELUDIUM 11 , panel: ST1
Kierownik: Daniel Hoffmann
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Konkurs: OPUS 11 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
Teoria modeli z działaniem grupy skończonej
Konkurs: ETIUDA 4 , panel: ST1
Kierownik: Daniel Hoffmann
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Teoria modeli i dynamika topologiczna
Konkurs: OPUS 10 , panel: ST1
Kierownik: dr hab. Krzysztof Krupiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Nierówności korelacyjne dla procesów punktowych
Konkurs: OPUS 10 , panel: ST1
Kierownik: prof. Ryszard Szekli
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Teorie bez własności drzewa pierwszego rodzaju.
Konkurs: SONATA 10 , panel: ST1
Kierownik: dr Jan Dobrowolski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Nierówności dla wektorów log-wklęsłych
Konkurs: PRELUDIUM 10 , panel: ST1
Kierownik: Marta Strzelecka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mechanizmy poznania geometrycznego
Konkurs: OPUS 10 , panel: HS1
Kierownik: dr Mateusz Hohol
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Nowoczesne metody w zespolonej geometrii afinicznej.
Konkurs: SONATA BIS 5 , panel: ST1
Kierownik: dr Karol Palka
Instytut Matematyczny Polskiej Akademii Nauk
Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne
Konkurs: OPUS 9 , panel: HS1
Kierownik: prof. Jerzy Pogonowski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki