Projekty finansowane przez NCN

Definiowalna dynamika topologiczna i o-minimalność

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Grzegorz Wojciech Jagiella

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody teorii mnogości w topologii i teorii przestrzeni Banacha.

Konkurs: OPUS 6 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Indukcja dla formuł ograniczonych i jej relatywizacje

Konkurs: OPUS 5 , panel: ST1

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wolność i niezależność w algebrze i topologii

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr hab. Szymon Głąb

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Związki teorii modeli z topologią i algebrą

Konkurs: OPUS 4 , panel: ST1

Kierownik: dr hab. Krzysztof Cyprian Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Topologiczne własności przestrzeni funkcji ciągłych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Mikołaj Krupski

Instytut Matematyczny Polskiej Akademii Nauk

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza logicznych i matematycznych założeń w traktatach Piero della Francesca

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Ryszard Romuald Mirek

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

Kombinatoryczne i deskryptywne własności ideałów na zbiorach przeliczalnych.

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Adam Marek Kwela

Instytut Matematyczny Polskiej Akademii Nauk

Struktura topologiczna przestrzeni funkcyjnych

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Witold Michał Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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 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

Geometria ściągalnych niskowymiarowych rozmaitości afinicznych.

Konkurs: SONATA 3 , panel: ST1

Kierownik: dr Karol Andrzej Palka

Instytut Matematyczny Polskiej Akademii Nauk

Małe struktury polskie

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

Miary log-wklęsłe i geometria ciał wypukłych

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Piotr Nayar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i...

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

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

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