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 285 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. Racje formułowane przez innych: zastrzeżenia i kontrargumentacja w polilogach

    Konkurs: WEAVE-UNISONO , panel: HS1

    Kierownik: dr hab. Marcin Jan Koszowy

    Politechnika Warszawska

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

    Konkurs: WEAVE-UNISONO , panel: HS1

    Kierownik: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  10. Analiza ilościowych modeli obliczeniowych

    Konkurs: SONATA BIS 14 , panel: ST6

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  11. Probabilistyczne aspekty granic Fraïsségo

    Konkurs: PRELUDIUM 23 , panel: ST1

    Kierownik: Agnieszka Maria Widz

    Politechnika Łódzka

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

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

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

  14. Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki

    Konkurs: OPUS 27 , panel: HS1

    Kierownik: Maciej Głowacki

    Uniwersytet Warszawski

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

    Konkurs: PRELUDIUM 23 , panel: HS1

    Kierownik: Jakub Róg

    Uniwersytet Warszawski

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

  17. Zagadki zróżnicowania modalnego

    Konkurs: SONATINA 8 , panel: HS1

    Kierownik: dr Aleksander Jędrzej Domosławski

    Uniwersytet im. Adama Mickiewicza w Poznaniu

  18. Filozoficzno-logiczne podstawy przyczynowości mechanicystycznej

    Konkurs: SONATINA 8 , panel: HS1

    Kierownik: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika

  19. Metaanalizy w filozofii eksperymentalnej

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

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

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

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

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

  24. Paradoks analizy

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

  25. Generyczne duże liczby kardynalne i determinacja.

    Konkurs: WEAVE-UNISONO , panel: ST1

    Kierownik: dr hab. Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  26. Fundamentalne prawa przyrody i ich role w metafizyce

    Konkurs: SONATA 19 , panel: HS1

    Kierownik: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  27. Aksjomaty forsingowe, modele wewnętrzne i determinacja

    Konkurs: MAESTRO 15 , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

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

  29. Machiańskie ramy dla fizyki kwantowej

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Antonio Vassallo

    Politechnika Warszawska

  30. Wolne i iteratywne operatory na ciałach

    Konkurs: PRELUDIUM 22 , panel: ST1

    Kierownik: dr Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

  34. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  35. 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"

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

  37. Filozofia nauki dla kryzysu replikacji

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  40. Nietrafność epistemiczna -- co dalej?

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  42. Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

    Konkurs: OPUS 24 (LAP) , panel: HS1

    Kierownik: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  45. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  47. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

  48. Badanie użycia pojęcia "komunikacja" w biologii i naukach o poznaniu

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Wiktor Marcin Rorot

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  49. Równoważność w logikach podstrukturalnych

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  50. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

    Konkurs: OPUS 23 , panel: ST6

    Kierownik: prof. Jerzy Marcinkowski

    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