Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

33 projects found matching your search criteria :

  1. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  2. What shapes students' STEM preferences? The role of creativity and gender stereotypes

    Call: OPUS 27 , Panel: HS6

    Principal investigator: dr Aleksandra Barbara Gajda

    Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej

  3. Nonstandard stochastic control problems with applications

    Call: OPUS 27 , Panel: ST1

    Principal investigator: prof. Łukasz Stettner

    Instytut Matematyczny Polskiej Akademii Nauk

  4. Meta-theoretical and inter-theoretical reductions in foundations of mathematics

    Call: OPUS 27 , Panel: HS1

    Principal investigator: Maciej Głowacki

    Uniwersytet Warszawski

  5. Homotopy Theory in Arithmetic Geometry via Condensed Mathematics

    Call: SONATA 19 , Panel: ST1

    Principal investigator: dr Marcin Wojciech Lara

    Instytut Matematyczny Polskiej Akademii Nauk

  6. Higher-order logic and absoluteness phenomena in set theory

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

  7. The Mathematics of the Bose Gas - Dynamics, Correlations and Fluctuations

    Call: SONATA BIS 13 , Panel: ST1

    Principal investigator: dr hab. Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  8. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  9. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  10. Between proof theory, reverse mathematics, and the model theory of arithmetic

    Call: OPUS 25 , Panel: ST1

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Logical and epistemological criteria of salience in the foundations of mathematics

    Call: SONATA BIS 12 , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

  12. Mathematics of fluids

    Call: OPUS 23 , Panel: ST1

    Principal investigator: prof. Piotr Bogusław Mucha

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  14. Computational mathematics in quantum mechanics

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. Karolina Kropielnicka

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

  15. Diagnosis of substantive and didactic competences of the teachers taking post-graduate studies qualifying for teaching m...

    Call: PRELUDIUM 16 , Panel: HS6

    Principal investigator: Barbara Beata Barańska

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

  16. Mathematics of Many-Body Quantum Systems

    Call: BEETHOVEN 3 , Panel: ST1

    Principal investigator: dr Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  17. Model-theoretic methods in logic and the foundations of mathematics and science

    Call: OPUS 15 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  18. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

    Call: SONATINA 2 , Panel: HS1

    Principal investigator: Paweł Pawłowski

    Uniwersytet Gdański, Wydział Nauk Społecznych

  20. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Studies and scientific research of Polish mathematicians, physicists and astronomers at the University of Goettingen (18...

    Call: OPUS 13 , Panel: HS3

    Principal investigator: dr Danuta Ciesielska

    Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów PAN

  22. Methods of stochastic control with applications

    Call: OPUS 12 , Panel: ST1

    Principal investigator: prof. Łukasz Stettner

    Instytut Matematyczny Polskiej Akademii Nauk

  23. The problem of explanation in mathematics

    Call: OPUS 11 , Panel: HS1

    Principal investigator: prof. Krzysztof Piotr Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  24. Mathematical riddles as a pastime for the Renaissance elite in Florence. Edition and linguistic study of the Giuochi mat...

    Call: OPUS 11 , Panel: HS2

    Principal investigator: dr hab. Roman Sosnowski

    Uniwersytet Jagielloński, Wydział Filologiczny

  25. Mechanisms of geometric cognition

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr Mateusz Leszek Hohol

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  26. Math Anxiety and Early Childhood Education Children's Math Achievements Level - A Longitudinal Study

    Call: PRELUDIUM 10 , Panel: HS6

    Principal investigator: dr Monika Klaudia Szczygieł

    Uniwersytet Jagielloński, Wydział Filozoficzny

  27. Computational algorithms for persistent homology of maps

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Grzegorz Michał Jabłoński

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  28. Collaboration between the mathematical faculty of Paul Sabatier University in Toulouse with the Faculty of Mathematics a...

    Call: HARMONIA 4 , Panel: ST1

    Principal investigator: prof. Włodzimierz Robert Zwonek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  29. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Ryszard Romuald Mirek

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

  30. Stochastic control problems with applications to mathematics of finance

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Łukasz Stettner

    Instytut Matematyczny Polskiej Akademii Nauk

  31. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

  32. The empirical sources of mathematical knowledge

    Call: OPUS 1 , Panel: HS1

    Principal investigator: prof. Krzysztof Piotr Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  33. Mathematics of quantum fields and quantization

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Jan Dereziński

    Uniwersytet Warszawski, Wydział Fizyki