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

  1. Analiza ilościowych modeli obliczeniowych

    Konkurs: SONATA BIS 14 , panel: ST6

    Kierownik: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  2. Probabilistyczne aspekty granic Fraïsségo

    Konkurs: PRELUDIUM 23 , panel: ST1

    Kierownik: Agnieszka Widz

    Politechnika Łódzka

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

    Konkurs: PRELUDIUM 23 , panel: ST6

    Kierownik: Bartosz Bednarczyk

    Uniwersytet Wrocławski

  4. Złożoność borelowska ideałów na zbiorach przeliczalnych i zbiory punktów granicznych

    Konkurs: OPUS 27 , panel: ST1

    Kierownik: dr hab. Adam Kwela

    Uniwersytet Gdański

  5. Logarytmiczne własności funkcji A-partycji i A-kompozycji

    Konkurs: PRELUDIUM 23 , panel: ST1

    Kierownik: Krystian Gajdzica

    Uniwersytet Jagielloński w Krakowie

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

    Konkurs: PRELUDIUM 23 , panel: HS1

    Kierownik: Jakub Róg

    Uniwersytet Warszawski

  7. Zagadki zróżnicowania modalnego

    Konkurs: SONATINA 8 , panel: HS1

    Kierownik: dr Aleksander Domosławski

    Uniwersytet im. Adama Mickiewicza w Poznaniu

  8. Filozoficzno-logiczne podstawy przyczynowości mechanicystycznej

    Konkurs: SONATINA 8 , panel: HS1

    Kierownik: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika w Toruniu

  9. Metaanalizy w filozofii eksperymentalnej

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

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

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr hab. Tomasz Jarmużek

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

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

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  14. Paradoks analizy

    Konkurs: OPUS 26 , panel: HS1

    Kierownik: dr Maciej Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

  15. Fundamentalne prawa przyrody i ich role w metafizyce

    Konkurs: SONATA 19 , panel: HS1

    Kierownik: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  16. Aksjomaty forsingowe, modele wewnętrzne i determinacja

    Konkurs: MAESTRO 15 , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

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

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Michał Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  18. Machiańskie ramy dla fizyki kwantowej

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Antonio Vassallo

    Politechnika Warszawska

  19. Wolne i iteratywne operatory na ciałach

    Konkurs: PRELUDIUM 22 , panel: ST1

    Kierownik: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  22. Polityka promocji zdrowego odżywiania - międzynarodowa analiza porównawcza i badanie uwarunkowań skuteczności wybranych ...

    Konkurs: OPUS 25 , panel: HS5

    Kierownik: dr hab. Paweł Bryła

    Uniwersytet Łódzki, Wydział Studiów Międzynarodowych i Politologicznych

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

  24. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  25. Metafilozofia interpretacji prawniczej

    Konkurs: OPUS 25 , panel: HS5

    Kierownik: dr hab. Adam Dyrda

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

  26. Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki

    Konkurs: OPUS 25 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Filozofia nauki dla kryzysu replikacji

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Konkurs: PRELUDIUM 22 , panel: HS1

    Kierownik: Marcin Rabiza

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

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

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

  30. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  31. Nietrafność epistemiczna -- co dalej?

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  33. Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

    Konkurs: OPUS 24 (LAP) , panel: HS1

    Kierownik: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Monika Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  36. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  42. Stan kwantowy: informacja, wolny wybór, losowość

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  43. Rozwój protokołu komunikacyjnego z użyciem strukturyzowanych wiązek świetlnych

    Konkurs: OPUS 23 , panel: ST7

    Kierownik: dr Mateusz Michał Szatkowski

    Politechnika Wrocławska

  44. Argumentacje transcendentalne. Modele i zastosowania

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  45. Pluralizm przesłanek w filozofii ekonomii

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  46. Jak zrozumieć niedorzeczność? Rola wyobraźni w Traktacie logiczno-filozoficznym Ludwiga Wittgensteina

    Konkurs: SONATINA 6 , panel: HS1

    Kierownik: dr Krystian Bogucki

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  47. Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja

    Konkurs: OPUS 22 , panel: HS1

    Kierownik: prof. Andrzej Pietruszczak

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

  48. Artefakty poznawcze w różnych skalach czasowych: Podejście integracyjne

    Konkurs: OPUS 22 , panel: HS1

    Kierownik: dr hab. Mateusz Leszek Hohol

    Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych

  49. (Anti)Classification and invariants in dynamics

    Konkurs: POLONEZ BIS 1 , panel: ST1

    Kierownik: dr Philipp Christopher Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  50. Arytmetyka i geometria ciał z operatorami

    Konkurs: OPUS 22 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki