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

  1. Niefregowskie ujęcie logiki związku treściowego Dunna-Epsteina

    Konkurs: OPUS 29 , panel: HS1

    Kierownik: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

  2. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

    Konkurs: OPUS 29 , panel: ST6

    Kierownik: dr hab. Barbara Morawska

    Uniwersytet Opolski

  3. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

    Konkurs: OPUS 29 , panel: ST6

    Kierownik: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  4. Polonizowalność analitycznych relacji równoważności i uogólniona analiza Scotta

    Konkurs: PRELUDIUM 24 , panel: ST1

    Kierownik: Mateusz Lichman

    Politechnika Łódzka

  5. Insolubilia. Pierwsze średniowieczne dyskusje na temat antynomii logicznych

    Konkurs: OPUS 29 , panel: HS1

    Kierownik: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

  6. Zintegrowane układy perowskitowe do polarytonowej logiki spinowej

    Konkurs: OPUS 28 , panel: ST3

    Kierownik: dr Helgi Sigurdsson

    Uniwersytet Warszawski

  7. Co można wiedzieć o globalnej strukturze czasoprzestrzeni z czarnymi dziurami?

    Konkurs: OPUS 28 , panel: HS1

    Kierownik: dr Juliusz Doboszewski

    Uniwersytet Jagielloński

  8. Zasady refleksji i ich epistemiczne uzasadnienie

    Konkurs: OPUS 28 (LAP) , panel: HS1

    Kierownik: prof. Cezary Wiesław Cieśliński

    Uniwersytet Warszawski

  9. Racje formułowane przez innych: zastrzeżenia i kontrargumentacja w polilogach

    Konkurs: WEAVE-UNISONO , panel: HS1

    Kierownik: dr hab. Marcin Jan Koszowy

    Politechnika Warszawska

  10. Miary złożoności strukturalnej dla teorii podstaw matematyki

    Konkurs: WEAVE-UNISONO , panel: HS1

    Kierownik: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  11. Analiza ilościowych modeli obliczeniowych

    Konkurs: SONATA BIS 14 , panel: ST6

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  12. Probabilistyczne aspekty granic Fraïsségo

    Konkurs: PRELUDIUM 23 , panel: ST1

    Kierownik: Agnieszka Maria Widz

    Politechnika Łódzka

  13. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  14. Matematyczne uzasadnienie i uprawnienie w podstawach matematyki

    Konkurs: OPUS 27 , panel: HS1

    Kierownik: dr Matteo Zicchetti

    Uniwersytet Warszawski

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

  16. Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki

    Konkurs: OPUS 27 , panel: HS1

    Kierownik: Maciej Głowacki

    Uniwersytet Warszawski

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

    Konkurs: PRELUDIUM 23 , panel: HS1

    Kierownik: Jakub Róg

    Uniwersytet Warszawski

  18. Roberta Halifaxa koncepcja woli i jej wpływ na woluntaryzm wiedeński w piętnastym wieku

    Konkurs: WEAVE-UNISONO , panel: HS1

    Kierownik: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

  19. Zagadki zróżnicowania modalnego

    Konkurs: SONATINA 8 , panel: HS1

    Kierownik: dr Aleksander Jędrzej Domosławski

    Uniwersytet im. Adama Mickiewicza w Poznaniu

  20. Filozoficzno-logiczne podstawy przyczynowości mechanicystycznej

    Konkurs: SONATINA 8 , panel: HS1

    Kierownik: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika

  21. Metaanalizy w filozofii eksperymentalnej

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

  22. Semantyka oparta na relacji: podejście aksjomatyczne i tablicowe

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  23. Agenci w biologii ewolucyjnej. Case study: koncepcja Unity-of-Purpose

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  24. Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości

    Konkurs: SONATA 19 , panel: HS1

    Kierownik: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

  25. Badania oparte na praktyce: analiza praktyk badawczych, publikacji i wpływu społecznego w Belgii-Flandrii, Polsce i Szwa...

    Konkurs: OPUS 26 (LAP) , panel: HS2

    Kierownik: dr Kamila Lewandowska

    Uniwersytet Warszawski, Instytut Ameryk i Europy

  26. Paradoks analizy

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr hab. Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

  27. Generyczne duże liczby kardynalne i determinacja.

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr hab. Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  28. Fundamentalne prawa przyrody i ich role w metafizyce

    Konkurs: SONATA 19 , panel: HS1

    Kierownik: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  29. Aksjomaty forsingowe, modele wewnętrzne i determinacja

    Konkurs: MAESTRO 15 , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  30. Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  31. Logika temporalna i filozofia cyklicznego niedeterministycznego świata

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Marcin Łyczak

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny

  32. Machiańskie ramy dla fizyki kwantowej

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Antonio Vassallo

    Politechnika Warszawska

  33. Wolne i iteratywne operatory na ciałach

    Konkurs: PRELUDIUM 22 , panel: ST1

    Kierownik: dr Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Zrównoważony Model Biznesowy (ZMB) dla Małych i Średnich Przedsiębiorstw (MiŚP): z Perspektywy Azji Południowej

    Konkurs: PRELUDIUM 22 , panel: HS4

    Kierownik: Binayak Malla

    Uniwersytet Warszawski, Wydział Zarządzania

  35. BIOlogiczny Perspektywizm i Indywidualizacja (BIOPI). Zrozumienie czym jest perspektywa dla organizmów, gatunków i ekosy...

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  36. Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

    Konkurs: PRELUDIUM 22 , panel: HS1

    Kierownik: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  37. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  38. Metafilozofia interpretacji prawniczej

    Konkurs: OPUS 25 , panel: HS5

    Kierownik: dr hab. Adam Michał Dyrda

    Uniwersytet Jagielloński, Jagiellońskie Centrum Badawcze "Prawo – Język – Filozofia"

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

  40. Filozofia nauki dla kryzysu replikacji

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  41. Filozoficzna analiza problemu czarnej skrzynki: Naukowe rozumienie a wyjaśnialna sztuczna inteligencja

    Konkurs: PRELUDIUM 22 , panel: HS1

    Kierownik: Marcin Piotr Rabiza

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk, Szkoła Nauk Społecznych

  42. Przyczynowość i społeczne uwarunkowania zdrowia i choroby

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

  43. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

  44. Nietrafność epistemiczna -- co dalej?

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  46. Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

    Konkurs: OPUS 24 (LAP) , panel: HS1

    Kierownik: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  47. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

    Konkurs: SONATA 18 , panel: ST6

    Kierownik: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Na przecięciu etyki, filozofii przyrody i logiki. Woluntaryzm Ryszarda FitzRalpha i Ryszarda Kilvingtona

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  49. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Logiczne i epistemologiczne kryteria istotności w podstawach matematyki

    Konkurs: SONATA BIS 12 , panel: HS1

    Kierownik: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy