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

248 projects found matching your search criteria :

  1. Probabilism of Rudolf Carnap.

    Call: PRELUDIUM 5 , Panel: HS1

    Principal investigator: Paweł Pruski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  3. Ideals and group actions on Polish spaces

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Michał Morayne

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

  4. Behavioral sciences in law - applications, philosophical implications, controversies.

    Call: PRELUDIUM 4 , Panel: HS1

    Principal investigator: Magdalena Małecka

    Instytut Filozofii i Socjologii PAN

  5. Freedom and independence in algebra and topology

    Call: SONATA 4 , Panel: ST1

    Principal investigator: dr hab. Szymon Głąb

    Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

  6. Interactions between model theory, topology and algebra

    Call: OPUS 4 , Panel: ST1

    Principal investigator: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Topological properties of function spaces

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Mikołaj Krupski

    Instytut Matematyczny PAN

  8. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Łukasz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Ryszard Mirek

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

  10. Empirical foundations and fringes of seventeenth-century philosophy

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Adam Grzeliński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  11. Existence of God. Research concerning ontological proofs.

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Mirosław Szatkowski

    Instytut Filozofii i Socjologii PAN

  12. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Combinatorial and descriptive properties of ideals on countable sets.

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Adam Kwela

    Instytut Matematyczny PAN

  15. Indefinites. Two-dimensional system with types

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  16. Ontology of metaphysics

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Paweł Garbacz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

  17. Topological structure of function spaces

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Literature and Science: dialogue, beyond the metaphors, between the two cultures in Italian contemporary literature

    Call: SONATA 4 , Panel: HS2

    Principal investigator: dr Stefano Redaelli

    Uniwersytet Warszawski, Wydział "Artes Liberales"

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

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

  21. Re-introducing the Early Byzantine Metaphysics: Leontius of Byzantium, Maximus the Confessor, Anastasius Sinaita, Theodo...

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Zhyrkova

    Akademia Ignatianum w Krakowie, Wydział Filozoficzny

  22. Analytic equivalence relations and Polish group actions

    Call: SONATA 3 , Panel: ST1

    Principal investigator: dr Marcin Sabok

    Instytut Matematyczny PAN

  23. Positional logic - metatheory and applications

    Call: SONATA BIS 1 , Panel: HS1

    Principal investigator: dr hab. Marcin Tkaczyk

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  24. Realization of logic gates in chiral nematic liquid crystals in a wedge-shaped cell

    Call: SONATA 3 , Panel: ST7

    Principal investigator: dr Urszula Laudyn

    Politechnika Warszawska, Wydział Fizyki

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

  26. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Small Polish structures

    Call: PRELUDIUM 3 , Panel: ST1

    Principal investigator: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. The methods of formalization and criteria for the rationality of reasoning

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

  31. Methods of experimental philosophy - analysis, evaluation and recommendations

    Call: PRELUDIUM 3 , Panel: HS1

    Principal investigator: dr Adrian Ziółkowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  32. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Applications of infinitary combinatorics and analytic topology in Banach spaces and related structures.

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Piotr Koszmider

    Instytut Matematyczny Polskiej Akademii Nauk

  34. Kazimierz Ajdukiewicz - u źródeł systematycznej aksjologii dynamiki wiedzy naukowej

    Call: FUGA 1 , Panel: HS1

    Principal investigator: dr Katarzyna Gan-Krzywoszyńska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  35. Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

    Call: MAESTRO 2 , Panel: HS1

    Principal investigator: prof. Andrzej Wiśniewski

    Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

  36. Naturalization of law

    Call: MAESTRO 2 , Panel: HS5

    Principal investigator: prof. Jerzy Stelmach

    UNIWERSYTET JAGIELLOŃSKI

  37. Logic of language experience

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr Konrad Zdanowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  38. Many-valued logic of Jan Łukasiewicz as a basis for a new interpretation of quantum mechanics

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Jarosław Pykacz

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

  39. Composite materials for molecular optoelectronics

    Call: OPUS 2 , Panel: ST5

    Principal investigator: prof. Konrad Szaciłowski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

  40. Flexible algorithms for facility layout problems in production management and logistics

    Call: OPUS 2 , Panel: HS4

    Principal investigator: dr hab. Jerzy Grobelny

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

  41. Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

    Call: OPUS 2 , Panel: ST7

    Principal investigator: dr hab. Maciej Trojnacki

    Przemysłowy Instytut Automatyki i Pomiarów "PIAP"

  42. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

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

  44. Free and iterative operators on fields

    Call: PRELUDIUM 22 , Panel: ST1

    Principal investigator: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  46. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  47. 80 years of investigations on natural deduction and sequent calculi

    Call: OPUS 2 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

  48. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  49. Epistemic inaccuracy -- what's next?

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy