Projekty finansowane przez NCN

Ontologia ekstensjonalna i logika filozoficzna

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Andrzej Paweł Biłat

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

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badanie strategii retorycznych w dialogu

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Katarzyna Budzyńska

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Kategoryjne ujęcie konstrukcji Fraisségo-Jónssona

Konkurs: OPUS 2 , panel: ST1

Kierownik: dr hab. Wiesław Kubiś

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logiki dla wnioskowań jakościowych

Konkurs: MAESTRO 1 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Etnografia jako doświadczenie osobiste. Generacyjne uwarunkowania przemian metodologii i praktyk badawczych

Konkurs: PRELUDIUM 1 , panel: HS3

Kierownik: Filip Wróblewski

Uniwersytet Jagielloński, Wydział Historyczny

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Akceleracja metod wyszukiwania informacji w dużych zbiorach danych metodami sprzętowymi

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Kazimierz Wiatr

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i...

Konkurs: SONATA 1 , panel: HS4

Kierownik: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Aksjomatyzacje rozmaitości i quasirozmaitości

Konkurs: SONATA 1 , panel: ST1

Kierownik: dr Michał Stronkowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Kognitywne mechanizmy referencji liczebnikowej

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Piotr Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Relacje tolerancji w kratach i ich wykorzystanie

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Joanna Ewa Grygiel

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Bożena Woźna-Szcześniak

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Ideały i działania grup na przestrzeniach polskich

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Michał Aleksander Morayne

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Piotr Bolesław Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Logika ciągła i jej algebraiczne zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Czy prawda jest pojęciem niewinnym? Filozoficzno-logiczna analiza deflacjonizmu

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowa...

Konkurs: SONATA 1 , panel: HS1

Kierownik: dr Robert Trypuz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II