Projekty finansowane przez NCN

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody teoriomodelowe w logice oraz w podstawach matematyki i nauk empirycznych

Konkurs: OPUS 15 , panel: HS1

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Analiza porównawcza metod reprezentacji strukturalnej na przykładzie debaty wokół Ontycznego Realizmu Strukturalnego

Konkurs: PRELUDIUM 15 , panel: HS1

Kierownik: dr Agnieszka Maria Proszewska

Uniwersytet Jagielloński, Wydział Filozoficzny

Abstrakcyjne metody w teorii przestrzeni Banacha.

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badania metod intensyfikacji procesów sorpcyjnych w modyfikowanych konstrukcjach złóż adsorpcyjnych

Konkurs: OPUS 15 , panel: ST8

Kierownik: prof. Jarosław Marek Krzywański

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

Eksperymenty myślowe w filozofii: geneza, struktura, funkcje

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Piotr Paweł Biłgorajski

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rekonceptualizacja podstaw biologii populacyjnej; przypadek interakcji zwierząt z mikroorganizmami

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Adrian Krzysztof Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Dodatniość wiązek liniowych na powierzchniach algebraicznych

Konkurs: SONATINA 2 , panel: ST1

Kierownik: dr Łucja Farnik

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Badania przyczynowości we współczesnej ekonomii

Konkurs: ETIUDA 6 , panel: HS1

Kierownik: Mariusz Łukasz Maziarz

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

Przezwyciężenie paradoksów naiwnej poprawności logicznej i nieformalnej dowodliwości poprzez semantykę niedeterministycz...

Konkurs: SONATINA 2 , panel: HS1

Kierownik: Paweł Pawłowski

Uniwersytet Gdański, Wydział Nauk Społecznych

Metodologiczna odnowa teologii dogmatycznej.

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Robert Woźniak

Uniwersytet Papieski Jana Pawła II w Krakowie, Wydział Teologiczny

Atom. Substancja. System. Badania z zakresu ontologii topologicznej

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Janusz Kaczmarek

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Filozoficzna Analiza Współmierności Dostosowania. Case Study: Ewolucja Indywidualności

Konkurs: OPUS 14 , panel: HS1

Kierownik: Adrian Krzysztof Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Naturalizacja fenomenologii a wyjaśnienia mechanicystyczne w kognitywistyce. Próba integracji teoretycznej

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Marek Stefan Pokropski

Uniwersytet Warszawski, Wydział Filozofii

Teorie prawdy i ich siła

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii

Pragmatyczna i epistemiczna wartość informacji. Aspekty teorio-decyzyjne, probabilistyczne oraz empiryczne

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Patryk Dziurosz-Serafinowicz

Uniwersytet Gdański, Wydział Nauk Społecznych

Deformacje i degeneracje rozmaitości algebraicznych

Konkurs: SONATA 13 , panel: ST1

Kierownik: dr Piotr Achinger

Instytut Matematyczny Polskiej Akademii Nauk

Logika deontyczna na potrzeby samochodów autonomicznych

Konkurs: HARMONIA 9 , panel: HS1

Kierownik: prof. Piotr Wojciech Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Filozoficzna i formalna analiza jakościowych logik przestrzeni

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Eksperymenty myślowe w filozofii: geneza, struktura, funkcje

Konkurs: PRELUDIUM 13 , panel: HS1

Kierownik: Piotr Paweł Biłgorajski

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

Konkurs: OPUS 13 , panel: HS1

Kierownik: prof. Andrzej Bogusław Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Otwarte problemy teorii waluacji w charakterystyce dodatniej

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Franz-Viktor Kuhlmann

Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

Kwantyfikatory w języku: użycie i znaczenie

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr Jakub Krzysztof Szymanik

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Własności dyspozycyjne, przyspieszenie i siły fizyczne

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Jan Hauska

Uniwersytet Jagielloński, Wydział Filozoficzny

Fundamentalne zagadnienia ontologiczne a fizyka współczesna

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Tomasz Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Logiki sytuacji

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Ontologiczny i metodologiczny status symetrii w fizyce

Konkurs: PRELUDIUM 13 , panel: HS1

Kierownik: dr Joanna Luc

Uniwersytet Jagielloński, Wydział Filozoficzny

Testy adaptacyjne dla danych cenzurowanych

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr Grzegorz Wyłupek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teorie modalności epistemicznych i ontycznych z pierwotnym pojęciem zmiany. Rozszerzenia logiki zmiany LC

Konkurs: PRELUDIUM 13 , panel: HS1

Kierownik: Marcin Łyczak

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

Niestandardowe modele arytmetyki i formalne teorie prawdy

Konkurs: ETIUDA 5 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Is general relativity deterministic? Some case studies

Konkurs: ETIUDA 5 , panel: HS1

Kierownik: Juliusz Doboszewski

Uniwersytet Jagielloński, Wydział Filozoficzny

Ograniczone, niezmiennicze relacje równoważności

Konkurs: ETIUDA 5 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reminiscencje na temat Jaśkowskiego - logiczno-filozoficzne badania inspirowane pracami na temat logiki dyskusyjnej

Konkurs: OPUS 12 , panel: HS1

Kierownik: dr hab. Marek Nasieniewski

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

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Realne możliwości: czym są i jak są reprezentowane w fizyce?

Konkurs: OPUS 12 , panel: HS1

Kierownik: prof. Tomasz Grzegorz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Miejsce Kazimierza Twardowskiego w kulturze polskiej i filozofii europejskiej

Konkurs: OPUS 12 , panel: HS1

Kierownik: prof. Jacek Juliusz Jadacki

Uniwersytet Warszawski, Wydział Filozofii

Deskryptywna teoria mnogości: struktura i dynamika grup polskich

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Semantyka z kontynuacjami i typami zależnymi: badanie mechanizmów kwantyfikacji w języku naturalnym

Konkurs: OPUS 12 , panel: HS1

Kierownik: dr hab. Justyna Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Algebraiczne i topologiczne metody w teorii modeli

Konkurs: SONATA BIS 6 , panel: ST1

Kierownik: prof. Krzysztof Cyprian Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Pojęciowe, formalne i praktyczne aspekty kryminologicznych i prawniczych zastosowań narzędzi probabilistycznych.

Konkurs: SONATA BIS 6 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Czasoprzestrzenne historie - teoria i zastosowania

Konkurs: HARMONIA 8 , panel: HS1

Kierownik: prof. Tomasz Grzegorz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Problem wyjaśniania w matematyce

Konkurs: OPUS 11 , panel: HS1

Kierownik: prof. Krzysztof Piotr Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał.

Konkurs: PRELUDIUM 11 , panel: ST1

Kierownik: Daniel Maksymilian Hoffmann

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Materiały hybrydowe - na pograniczu urządzeń neuromorficznych oraz układów logiki rozmytej

Konkurs: PRELUDIUM 11 , panel: ST3

Kierownik: Kacper Krzysztof Pilarczyk

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki