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 65 projektów spełniających kryteria wyszukiwania:

  1. Probabilistyczne aspekty granic Fraïsségo

    Konkurs: PRELUDIUM 23 , panel: ST1

    Kierownik: Agnieszka Maria Widz

    Politechnika Łódzka

  2. Złożoność borelowska ideałów na zbiorach przeliczalnych i zbiory punktów granicznych

    Konkurs: OPUS 27 , panel: ST1

    Kierownik: dr hab. Adam Marek Kwela

    Uniwersytet Gdański

  3. Czas w mechanice kwantowej: porównanie interpretacji mechaniki kwantowej w świetle problemu czasu

    Konkurs: PRELUDIUM 23 , panel: HS1

    Kierownik: Jakub Róg

    Uniwersytet Warszawski

  4. Generyczne duże liczby kardynalne i determinacja.

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr hab. Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  5. Aksjomaty forsingowe, modele wewnętrzne i determinacja

    Konkurs: MAESTRO 15 , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  6. Machiańskie ramy dla fizyki kwantowej

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Antonio Vassallo

    Politechnika Warszawska

  7. Wolne i iteratywne operatory na ciałach

    Konkurs: PRELUDIUM 22 , panel: ST1

    Kierownik: dr Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  9. Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki

    Konkurs: OPUS 25 , panel: ST1

    Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Nietrafność epistemiczna -- co dalej?

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  12. Klasyfikowanie modeli Pochodnych Aksjomatu Determinacji

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  13. (Anti)Classification and invariants in dynamics

    Konkurs: POLONEZ BIS 1 , panel: ST1

    Kierownik: dr Philipp Christopher Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  14. Arytmetyka i geometria ciał z operatorami

    Konkurs: OPUS 22 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Analityczne P-ideały, przestrzenie Banacha i algebry miarowe.

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr hab. Piotr Tadeusz Borodulin-Nadzieja

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Teoriomnogościowe aspekty selekcji topologicznych

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr Piotr Jan Szewczak

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

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

    Konkurs: PRELUDIUM 20 , panel: ST1

    Kierownik: Damian Głodkowski

    Instytut Matematyczny Polskiej Akademii Nauk

  18. Jednorodność i generyczność struktur metrycznych: grup, układów dynamicznych, przestrzeni Banacha i algebr C*.

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr hab. Maciej Malicki

    Instytut Matematyczny Polskiej Akademii Nauk

  19. Matematyzowane teorie naukowe i podstawy matematyki stosowanej

    Konkurs: OPUS 20 , panel: HS1

    Kierownik: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  20. 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 Michał Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  22. Metody teoriomnogościowe w dynamice i teorii liczb

    Konkurs: SONATA BIS 9 , panel: ST1

    Kierownik: dr hab. William Andrew Mance

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

  23. Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych

    Konkurs: MAESTRO 11 , panel: HS1

    Kierownik: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski

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

    Konkurs: OPUS 16 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  25. Działania grup i teoria modeli

    Konkurs: OPUS 16 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  26. Geometryczna i Miarowa Teoria Grup 2

    Konkurs: HARMONIA 10 , panel: ST1

    Kierownik: dr Damian Osajda

    Instytut Matematyczny Polskiej Akademii Nauk

  27. Abstrakcyjne metody w teorii przestrzeni Banacha.

    Konkurs: OPUS 15 , panel: ST1

    Kierownik: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. Efektywne obliczenia w predykatywnej matematyce

    Konkurs: SONATINA 2 , panel: ST6

    Kierownik: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Konkurs: SONATINA 2 , panel: ST1

    Kierownik: dr Łucja Farnik

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

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

    Konkurs: OPUS 14 , panel: ST1

    Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Otwarte problemy teorii waluacji w charakterystyce dodatniej

    Konkurs: OPUS 13 , panel: ST1

    Kierownik: prof. Franz-Viktor Kuhlmann

    Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

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

    Konkurs: ETIUDA 5 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  34. Algebraiczne i topologiczne metody w teorii modeli

    Konkurs: SONATA BIS 6 , panel: ST1

    Kierownik: prof. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał.

    Konkurs: PRELUDIUM 11 , panel: ST1

    Kierownik: Daniel Maksymilian Hoffmann

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Teoria modeli z działaniem grupy skończonej

    Konkurs: ETIUDA 4 , panel: ST1

    Kierownik: Daniel Maksymilian Hoffmann

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Teoria modeli i dynamika topologiczna

    Konkurs: OPUS 10 , panel: ST1

    Kierownik: dr hab. Krzysztof Cyprian Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Teorie bez własności drzewa pierwszego rodzaju.

    Konkurs: SONATA 10 , panel: ST1

    Kierownik: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  40. Mechanizmy poznania geometrycznego

    Konkurs: OPUS 10 , panel: HS1

    Kierownik: dr Mateusz Leszek Hohol

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

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

  42. Niezmiennicze relacje równoważności

    Konkurs: PRELUDIUM 9 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Konkurs: MAESTRO 6 , panel: ST6

    Kierownik: prof. Paweł Maria Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  45. Definiowalna dynamika topologiczna i o-minimalność

    Konkurs: PRELUDIUM 7 , panel: ST1

    Kierownik: dr Grzegorz Wojciech Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  47. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

    Konkurs: OPUS 6 , panel: ST6

    Kierownik: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy