Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 62 projektów spełniających kryteria wyszukiwania:

  1. Niezmiennicze relacje równoważności

    Konkurs: PRELUDIUM 9 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

    Konkurs: MAESTRO 6 , panel: ST6

    Kierownik: prof. Paweł Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  3. Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

    Konkurs: SONATA 7 , panel: ST1

    Kierownik: dr Jakub Gismatullin

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Empiryczne źródła wiedzy matematycznej

    Konkurs: OPUS 1 , panel: HS1

    Kierownik: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  5. Definiowalna dynamika topologiczna i o-minimalność

    Konkurs: PRELUDIUM 7 , panel: ST1

    Kierownik: dr Grzegorz Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  7. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

    Konkurs: OPUS 6 , panel: ST6

    Kierownik: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  8. Indukcja dla formuł ograniczonych i jej relatywizacje

    Konkurs: OPUS 5 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

    Konkurs: PRELUDIUM 4 , panel: ST1

    Kierownik: dr Mikołaj Krupski

    Instytut Matematyczny PAN

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

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

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

    Konkurs: PRELUDIUM 4 , panel: ST1

    Kierownik: dr Adam Kwela

    Instytut Matematyczny PAN

  16. Struktura topologiczna przestrzeni funkcyjnych

    Konkurs: OPUS 4 , panel: ST1

    Kierownik: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  18. Analityczne relacje równoważności i działania grup polskich

    Konkurs: SONATA 3 , panel: ST1

    Kierownik: dr Marcin Sabok

    Instytut Matematyczny PAN

  19. Geometria ściągalnych niskowymiarowych rozmaitości afinicznych.

    Konkurs: SONATA 3 , panel: ST1

    Kierownik: dr Karol Palka

    Instytut Matematyczny PAN

  20. Małe struktury polskie

    Konkurs: PRELUDIUM 3 , panel: ST1

    Kierownik: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  22. Aksjomaty forsingowe, modele wewnętrzne i determinacja

    Konkurs: MAESTRO 15 , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  23. Wolne i iteratywne operatory na ciałach

    Konkurs: PRELUDIUM 22 , panel: ST1

    Kierownik: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  25. Nietrafność epistemiczna -- co dalej?

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  26. Side Conditions and the Saturation of the Non-stationary Ideal

    Konkurs: POLONEZ BIS 3 , panel: ST1

    Kierownik: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

  27. (Anti)Classification and invariants in dynamics

    Konkurs: POLONEZ BIS 1 , panel: ST1

    Kierownik: dr Philipp Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  28. Arytmetyka i geometria ciał z operatorami

    Konkurs: OPUS 22 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  29. Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej

    Konkurs: PRELUDIUM 20 , panel: ST1

    Kierownik: Damian Głodkowski

    Instytut Matematyczny Polskiej Akademii Nauk

  30. Matematyzowane teorie naukowe i podstawy matematyki stosowanej

    Konkurs: OPUS 20 , panel: HS1

    Kierownik: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  31. Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

    Konkurs: OPUS 19 , panel: ST1

    Kierownik: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  33. Logika ciągła i jej algebraiczne zastosowania

    Konkurs: OPUS 1 , panel: ST1

    Kierownik: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej

    Konkurs: PRELUDIUM BIS 1 , panel: ST1

    Kierownik: dr hab. Dominik Kwietniak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  35. Metody teoriomnogościowe w dynamice i teorii liczb

    Konkurs: SONATA BIS 9 , panel: ST1

    Kierownik: dr hab. William Mance

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

  36. Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych

    Konkurs: MAESTRO 11 , panel: HS1

    Kierownik: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski

  37. Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

    Konkurs: OPUS 16 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  38. Działania grup i teoria modeli

    Konkurs: OPUS 16 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Geometryczna i Miarowa Teoria Grup 2

    Konkurs: HARMONIA 10 , panel: ST1

    Kierownik: dr Damian Osajda

    Instytut Matematyczny Polskiej Akademii Nauk

  40. Abstrakcyjne metody w teorii przestrzeni Banacha.

    Konkurs: OPUS 15 , panel: ST1

    Kierownik: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Efektywne obliczenia w predykatywnej matematyce

    Konkurs: SONATINA 2 , panel: ST6

    Kierownik: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. Dodatniość wiązek liniowych na powierzchniach algebraicznych

    Konkurs: SONATINA 2 , panel: ST1

    Kierownik: dr Łucja Farnik

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

  43. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

    Konkurs: OPUS 14 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  45. Deformacje i degeneracje rozmaitości algebraicznych

    Konkurs: SONATA 13 , panel: ST1

    Kierownik: dr Piotr Achinger

    Instytut Matematyczny Polskiej Akademii Nauk

  46. Otwarte problemy teorii waluacji w charakterystyce dodatniej

    Konkurs: OPUS 13 , panel: ST1

    Kierownik: prof. Franz-Viktor Kuhlmann

    Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

  47. Testy adaptacyjne dla danych cenzurowanych

    Konkurs: OPUS 13 , panel: ST1

    Kierownik: dr Grzegorz Wyłupek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. Ograniczone, niezmiennicze relacje równoważności

    Konkurs: ETIUDA 5 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Deskryptywna teoria mnogości: struktura i dynamika grup polskich

    Konkurs: SONATA 12 , panel: ST1

    Kierownik: dr Aleksandra Kwiatkowska

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy