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

  1. Aksjomaty forsingowe, modele wewnętrzne i determinacja

    Konkurs: MAESTRO 15 , panel: ST1

    Kierownik: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

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

  3. Wolne i iteratywne operatory na ciałach

    Konkurs: PRELUDIUM 22 , panel: ST1

    Kierownik: Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

  8. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

  10. Filozofia nauki dla kryzysu replikacji

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

    Konkurs: OPUS 2 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

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

  14. Nietrafność epistemiczna -- co dalej?

    Konkurs: OPUS 24 , panel: HS1

    Kierownik: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  16. Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

    Konkurs: OPUS 24 (LAP) , panel: HS1

    Kierownik: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  19. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Konkurs: SONATA BIS 12 , panel: HS1

    Kierownik: dr Mateusz Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

  21. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Arkadiusz Wójcik

    Uniwersytet w Białymstoku, Instytut Filozofii

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

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

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Konkurs: OPUS 23 , panel: ST7

    Kierownik: dr Mateusz Szatkowski

    Politechnika Wrocławska

  27. Argumentacje transcendentalne. Modele i zastosowania

    Konkurs: PRELUDIUM 21 , panel: HS1

    Kierownik: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  28. Pluralizm przesłanek w filozofii ekonomii

    Konkurs: OPUS 23 , panel: HS1

    Kierownik: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

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

  32. (Anti)Classification and invariants in dynamics

    Konkurs: POLONEZ BIS 1 , panel: ST1

    Kierownik: dr Philipp Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  33. Arytmetyka i geometria ciał z operatorami

    Konkurs: OPUS 22 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Konkurs: POLONEZ BIS 1 , panel: HS1

    Kierownik: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  37. W stronę charakterystyki instytucji prawnych w kategoriach modeli

    Konkurs: PRELUDIUM 20 , panel: HS1

    Kierownik: Wojciech Graboń

    Uniwersytet Warszawski, Wydział Prawa i Administracji

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

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

    Konkurs: PRELUDIUM 20 , panel: HS1

    Kierownik: Antonina Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

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

    Konkurs: PRELUDIUM 20 , panel: ST1

    Kierownik: Damian Głodkowski

    Instytut Matematyczny Polskiej Akademii Nauk

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

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

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

  44. Rekonceptualizacja probabilizmu w kontekstach prawnych

    Konkurs: OPUS 21 , panel: HS1

    Kierownik: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

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

  46. Prawdopodobieństwo okresów warunkowych - model grafowy

    Konkurs: OPUS 20 , panel: HS1

    Kierownik: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  47. Matematyzowane teorie naukowe i podstawy matematyki stosowanej

    Konkurs: OPUS 20 , panel: HS1

    Kierownik: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  48. Wnioskowanie ilościowe odporne na perturbacje

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Procedury decyzyjne w weryfikacji

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  50. Czas, prawda i modalność

    Konkurs: SONATA 16 , panel: HS1

    Kierownik: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy