Projekty finansowane przez NCN

Związki teorii modeli z topologią i algebrą

Konkurs: OPUS 4 , panel: ST1

Kierownik: dr hab. Krzysztof 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 PAN

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

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz 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 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 Kwela

Instytut Matematyczny PAN

Struktura topologiczna przestrzeni funkcyjnych

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Witold 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 PAN

Geometria ściągalnych niskowymiarowych rozmaitości afinicznych.

Konkurs: SONATA 3 , panel: ST1

Kierownik: dr Karol Palka

Instytut Matematyczny PAN

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