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

  1. Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

    Konkurs: PRELUDIUM 8 , panel: ST6

    Kierownik: Agnieszka Zbrzezny

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

  2. Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi

    Konkurs: OPUS 5 , panel: HS1

    Kierownik: dr hab. Zofia Kostrzycka

    Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

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

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

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

  6. Czas, prawda i modalność

    Konkurs: SONATA 16 , panel: HS1

    Kierownik: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  7. Logiczno-filozoficzne podstawy geometrii i topologii

    Konkurs: OPUS 20 , panel: HS1

    Kierownik: dr hab. Rafał Gruszczyński

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

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

    Konkurs: PRELUDIUM 2 , panel: ST6

    Kierownik: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  9. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

    Konkurs: PRELUDIUM 1 , panel: HS1

    Kierownik: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  10. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

    Konkurs: OPUS 13 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  11. Fundamentalne zagadnienia ontologiczne a fizyka współczesna

    Konkurs: OPUS 13 , panel: HS1

    Kierownik: dr hab. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  12. 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, Wydział Humanistyczny

  13. Hybrydyzacja fragmentów logiki Halperna-Shohama

    Konkurs: PRELUDIUM 12 , panel: HS1

    Kierownik: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  14. Czasoprzestrzenne historie - teoria i zastosowania

    Konkurs: HARMONIA 8 , panel: HS1

    Kierownik: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny