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

287 projects found matching your search criteria :

  1. The application of the model of levels of analysis in the studies of the contemporary naturalistic theism on the relatio...

    Call: OPUS 5 , Panel: HS1

    Principal investigator: dr Piotr Bylica

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  2. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

  3. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Theory of Judgment in Lvov School of Philosophy

    Call: SONATA 5 , Panel: HS1

    Principal investigator: dr Stepan Ivanyk

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  5. Decision-making in the European Union in the Framework of Ordinary and Special Legislative Procedures: An Empirical Anal...

    Call: PRELUDIUM 5 , Panel: HS5

    Principal investigator: dr Adam Kirpsza

    Uniwersytet Jagielloński, Wydział Studiów Międzynarodowych i Politycznych

  6. Modeling of abductive reasoning

    Call: SONATA BIS 3 , Panel: HS1

    Principal investigator: dr hab. Mariusz Urbański

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

  7. On new techniques for matching and flow problems

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Bartłomiej Bosek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  8. The implications of the selected elements of theory of evolution for defining life

    Call: SONATA 6 , Panel: HS1

    Principal investigator: dr Krzysztof Chodasewicz

    Instytut Filozofii i Socjologii PAN

  9. Development of the rating methodology of real estate markets.

    Call: OPUS 7 , Panel: HS4

    Principal investigator: dr hab. Małgorzata Renigier-Biłozor

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geodezji, Inżynierii Przestrzennej i Budownictwa

  10. Formal truth theories

    Call: OPUS 7 , Panel: HS1

    Principal investigator: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  11. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

    Call: MAESTRO 6 , Panel: ST6

    Principal investigator: prof. Paweł Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  12. Modern methods in complex affine geometry.

    Call: SONATA BIS 5 , Panel: ST1

    Principal investigator: dr Karol Palka

    Instytut Matematyczny Polskiej Akademii Nauk

  13. Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.

    Call: OPUS 10 , Panel: ST6

    Principal investigator: dr hab. Michał Baczyński

    Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

  14. Definition and analysis of absolute structures with regards to the problem of background independence of physical theori...

    Call: PRELUDIUM 11 , Panel: HS1

    Principal investigator: Kamil Łacina

    Uniwersytet Jagielloński, Wydział Filozoficzny

  15. A quest for new computer logics

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Real possibilities: what they are and how they are represented in physics?

    Call: OPUS 12 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  17. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. Probability of conditionals - a stochastic graph model

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Anna Maria Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  19. Conceptual structure of natural numbers. Modeling numerical cognition by conceptual spaces

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr Paula Dominika Quinon

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  20. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  21. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  23. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

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

    Call: POLONEZ BIS 3 , Panel: ST1

    Principal investigator: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

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

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  26. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  27. Philosophical-logical foundations of mechanistic causation

    Call: SONATINA 8 , Panel: HS1

    Principal investigator: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika w Toruniu

  28. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Bednarczyk

    Uniwersytet Wrocławski

  29. Probabilistic aspects of Fraïssé limits

    Call: PRELUDIUM 23 , Panel: ST1

    Principal investigator: Agnieszka Widz

    Politechnika Łódzka

  30. Tolerance relations in lattices and their applications

    Call: OPUS 1 , Panel: HS1

    Principal investigator: dr hab. Joanna Grygiel

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  31. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  32. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Modeling cooperation of agents by multivalued logics and parallel processing

    Call: OPUS 3 , Panel: ST6

    Principal investigator: prof. Adam Borkowski

    Instytut Podstawowych Problemów Techniki PAN

  34. Basic literature of the discipline and the state of contemporary political science. Political science, Politische Wissen...

    Call: OPUS 3 , Panel: HS5

    Principal investigator: dr hab. Janusz Wiśniewski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

  35. Small Polish structures

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Economy and literature. Relationships between logic of the economy and literary mimesis.

    Call: PRELUDIUM 3 , Panel: HS2

    Principal investigator: Michał Sowiński

    Uniwersytet Jagielloński, Wydział Polonistyki

  37. Philological analysis of Ludwik Fleck's philosophical works and it's translations in Polish, English and German

    Call: HARMONIA 3 , Panel: HS2

    Principal investigator: dr Paweł Jarnicki

    Projekt Nauka. Fundacja na rzecz promocji nauki polskiej

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

  39. Indefinites. Two-dimensional system with types

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  40. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Existence of God. Research concerning ontological proofs.

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Mirosław Szatkowski

    Instytut Filozofii i Socjologii PAN

  42. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

    Call: SONATA BIS 7 , Panel: HS1

    Principal investigator: dr hab. Dorota Leszczyńska-Jasion

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

  43. Deontic logic for autonomous vehicles

    Call: HARMONIA 9 , Panel: HS1

    Principal investigator: prof. Piotr Kulicki

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

  44. Towards theoretical integration of naturalised phenomenology and mechanistic explanations in cognitive sciences

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Marek Pokropski

    Uniwersytet Warszawski, Wydział Filozofii

  45. Atom. Substance. System. Investigations into Topological Ontology

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

  47. Positivity of line bundles on algebraic surfaces

    Call: SONATINA 2 , Panel: ST1

    Principal investigator: dr Łucja Farnik

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

  48. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Infinity and infinitesimals

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr hab. Piotr Błaszczyk

    Uniwersytet Komisji Edukacji Narodowej w Krakowie

  50. Goedel's ontological argument: history, modifications. extensions, and controversies

    Call: HARMONIA 4 , Panel: HS1

    Principal investigator: dr hab. Kordula Świętorzecka

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy