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

  1. Fundamentalne prawa przyrody i ich role w metafizyce

    Konkurs: SONATA 19 , panel: HS1

    Kierownik: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  2. Aksjomaty forsingowe, modele wewnętrzne i determinacja

    Konkurs: MAESTRO 15 , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

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

  4. Logika temporalna i filozofia cyklicznego niedeterministycznego świata

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Marcin Łyczak

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

  5. Wolne i iteratywne operatory na ciałach

    Konkurs: PRELUDIUM 22 , panel: ST1

    Kierownik: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

    Konkurs: PRELUDIUM 22 , panel: HS1

    Kierownik: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  10. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  11. Metafilozofia interpretacji prawniczej

    Konkurs: OPUS 25 , panel: HS5

    Kierownik: dr hab. Adam Dyrda

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

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

  13. Filozofia nauki dla kryzysu replikacji

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  15. 80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

    Konkurs: OPUS 2 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

  16. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  17. Nietrafność epistemiczna -- co dalej?

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  19. Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

    Konkurs: OPUS 24 (LAP) , panel: HS1

    Kierownik: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  22. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Konkurs: SONATA BIS 12 , panel: HS1

    Kierownik: dr Mateusz Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

  24. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Arkadiusz Wójcik

    Uniwersytet w Białymstoku, Instytut Filozofii

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

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Wiktor Rorot

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

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

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Konkurs: OPUS 23 , panel: ST7

    Kierownik: dr Mateusz Szatkowski

    Politechnika Wrocławska

  30. Argumentacje transcendentalne. Modele i zastosowania

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  31. Pluralizm przesłanek w filozofii ekonomii

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  33. Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe i aksjomatyzacja

    Konkurs: OPUS 22 , panel: HS1

    Kierownik: prof. Andrzej Pietruszczak

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

  34. Logika ciągła i jej algebraiczne zastosowania

    Konkurs: OPUS 1 , panel: ST1

    Kierownik: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Konkurs: OPUS 22 , panel: HS1

    Kierownik: dr hab. Mateusz Hohol

    Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych

  36. (Anti)Classification and invariants in dynamics

    Konkurs: POLONEZ BIS 1 , panel: ST1

    Kierownik: dr Philipp Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Arytmetyka i geometria ciał z operatorami

    Konkurs: OPUS 22 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Values, Trust, and Decision Making in Public Health

    Konkurs: POLONEZ BIS 1 , panel: HS1

    Kierownik: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

  39. Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

    Konkurs: OPUS 22 , panel: HS1

    Kierownik: prof. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

  40. Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi

    Konkurs: PRELUDIUM 20 , panel: HS1

    Kierownik: Elżbieta Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

  41. Ontologia ekstensjonalna i logika filozoficzna

    Konkurs: OPUS 2 , panel: HS1

    Kierownik: dr hab. Andrzej Biłat

    Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

  42. W stronę charakterystyki instytucji prawnych w kategoriach modeli

    Konkurs: PRELUDIUM 20 , panel: HS1

    Kierownik: Wojciech Graboń

    Uniwersytet Warszawski, Wydział Prawa i Administracji

  43. Henri Bergson a szczególna teoria względności

    Konkurs: PRELUDIUM 20 , panel: HS1

    Kierownik: Anna Kuszmiruk

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

  44. Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności

    Konkurs: PRELUDIUM 20 , panel: HS1

    Kierownik: Antonina Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

  45. Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej

    Konkurs: PRELUDIUM 20 , panel: ST1

    Kierownik: Damian Głodkowski

    Instytut Matematyczny Polskiej Akademii Nauk

  46. Struktura pojęciowa liczb naturalnych. Modelowanie kognitywnych systemów przetwarzania informacji ilościowej, numeryczne...

    Konkurs: OPUS 21 , panel: HS1

    Kierownik: dr Paula Quinon

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  47. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. Rekonceptualizacja probabilizmu w kontekstach prawnych

    Konkurs: OPUS 21 , panel: HS1

    Kierownik: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  49. Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu

    Konkurs: SONATA 16 , panel: HS1

    Kierownik: dr Marcin Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  50. Procedury decyzyjne w weryfikacji

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki