Projekty finansowane przez NCN

Podstawowa literatura przedmiotu a kształt współczesnej politologii. Political science, Politische Wissenschaft i polito...

Konkurs: OPUS 3 , panel: HS5

Kierownik: dr hab. Janusz Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

Modelowanie współpracy agentów z wykorzystaniem logiki wielowartościowej i równoległego przetwarzania informacji

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Adam Borkowski

Instytut Podstawowych Problemów Techniki PAN

Metody filozofii eksperymentalnej - analiza, ewaluacja i rekomendacje

Konkurs: PRELUDIUM 3 , panel: HS1

Kierownik: dr Adrian Ziółkowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Modele logarytmiczno-liniowe w analizie danych jakościowych

Konkurs: PRELUDIUM 3 , panel: HS4

Kierownik: dr Justyna Brzezińska

Uniwersytet Ekonomiczny w Katowicach, Wydział Zarządzania

Kazimierz Ajdukiewicz - u źródeł systematycznej aksjologii dynamiki wiedzy naukowej

Konkurs: FUGA 1 , panel: HS1

Kierownik: dr Katarzyna Gan-Krzywoszyńska

Uniwersytet Jagielloński, Wydział Filozoficzny

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

Naturalizacja prawa

Konkurs: MAESTRO 2 , panel: HS5

Kierownik: prof. Jerzy Stelmach

UNIWERSYTET JAGIELLOŃSKI

Logika językowego doświadczenia

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Opracowanie algorytmu odtwarzania rozkładu wielkości podkładek zarodkowania heterogenicznego w stopach heterofazowych w ...

Konkurs: OPUS 2 , panel: ST8

Kierownik: dr hab. Janusz Lelito

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Odlewnictwa

Wielowartościowa logika Jana Łukasiewicza jako podstawa nowej interpretacji mechaniki kwantowej

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Jarosław Pykacz

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Materiały kompozytowe dla optoelektroniki molekularnej

Konkurs: OPUS 2 , panel: ST5

Kierownik: prof. Konrad Szaciłowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

Elastyczne algorytmy problemu rozmieszczania obiektów w zarządzaniu produkcją i logistyce

Konkurs: OPUS 2 , panel: HS4

Kierownik: dr hab. Jerzy Grobelny

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Modelowanie dynamiki mobilnego robota czterokołowego i sterowanie jego ruchem nadążnym z ograniczeniem poślizgu kół jezd...

Konkurs: OPUS 2 , panel: ST7

Kierownik: dr hab. Maciej Trojnacki

Przemysłowy Instytut Automatyki i Pomiarów "PIAP"

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

Konkurs: OPUS 2 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

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

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 PAN

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 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ł Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Miary log-wklęsłe i geometria ciał wypukłych

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Piotr Nayar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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 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 Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Relacje tolerancji w kratach i ich wykorzystanie

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Joanna Grygiel

Akademia 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

Akademia 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ł 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 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