Wyniki wyszukiwania
Znaleziono 40 projektów spełniających kryteria wyszukiwania:
-
Kierownik: dr Artur Marcin Marchewka
Instytut Biologii Doświadczalnej im. M. Nenckiego PAN
Konkurs: HARMONIA 6, panel: HS6
-
Kierownik: Marcin Łyczak
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej
Konkurs: PRELUDIUM 13, panel: HS1
-
3. Zagadki zróżnicowania modalnego
Kierownik: dr Aleksander Jędrzej Domosławski
Uniwersytet im. Adama Mickiewicza w Poznaniu
Konkurs: SONATINA 8, panel: HS1
-
4. Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych
Kierownik: Krzysztof Aleksander Krawczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 22, panel: HS1
-
5. Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi
Kierownik: Elżbieta Jennifer Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
Konkurs: PRELUDIUM 20, panel: HS1
-
Kierownik: dr Jacek Marcin Wawer
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: SONATA 16, panel: HS1
-
7. Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi
Kierownik: dr hab. Zofia Jadwiga Kostrzycka
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
Konkurs: OPUS 5, panel: HS1
-
Kierownik: dr Piotr Rosik
Instytut Geografii i Przestrzennego Zagospodarowania im. S. Leszczyckiego PAN
Konkurs: SONATA 1, panel: HS4
-
Kierownik: prof. Bogusław Antoni Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Konkurs: OPUS 28, panel: ST6
-
10. ENDURE: Nierówności i odporność społeczna oraz nowe sposoby zarządzania w świecie post-pandemicznym.
Kierownik: dr Mateusz Piotr Karolak
Uniwersytet Wrocławski
Konkurs: T-AP RRR Call 2021, panel: HS6
-
Kierownik: dr Magdalena Marta Szubielska
Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Społecznych
Konkurs: ALPHORN, panel: HS6
-
Kierownik: dr hab. Ireneusz Paweł Grulkowski
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Konkurs: OPUS 16, panel: NZ5
-
Kierownik: Karol Zachariasz Lenart
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 13, panel: HS1
-
Kierownik: Izabela Szumska
Instytut Psychologii PAN
Konkurs: PRELUDIUM 12, panel: HS6
-
Kierownik: dr Michał Bola
Instytut Biologii Doświadczalnej im. M. Nenckiego PAN
Konkurs: SONATA 9, panel: HS6
-
16. Uniwersalne własności Potencjałów Wywołanych Stanu Ustalonego w różnych modalnościach.
Kierownik: dr Rafał Piotr Kuś
Uniwersytet Warszawski, Wydział Fizyki
Konkurs: SONATA 4, panel: NZ4
-
17. Wokół logik modalnych - rozstrzygalność i złożoność
Kierownik: Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 2, panel: ST6
-
18. Nowa metoda generowania modów fizycznych dla niskowymiarowego modelowania przepływów
Kierownik: prof. Marek Morzyński
Politechnika Poznańska, Wydział Maszyn Roboczych i Transportu
Konkurs: OPUS 1, panel: ST8
-
19. Diagnoza wybranych nieprawidłowości chodu na podstawie wielomodalnej analizy ruchu.
Kierownik: dr hab. Adam Świtoński
Polsko-Japońska Akademia Technik Komputerowych, Wydział Zamiejscowy Informatyki w Bytomiu
Konkurs: OPUS 1, panel: ST6
-
20. Argumentacje transcendentalne. Modele i zastosowania
Kierownik: Stanisław Jędrczak
Uniwersytet Warszawski, Wydział Filozofii
Konkurs: PRELUDIUM 21, panel: HS1
-
21. Niefregowskie ujęcie logiki związku treściowego Dunna-Epsteina
Kierownik: dr Mateusz Klonowski
Uniwersytet Mikołaja Kopernika
Konkurs: OPUS 29, panel: HS1
-
22. Ontologia ekstensjonalna i logika filozoficzna
Kierownik: dr hab. Andrzej Paweł Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Konkurs: OPUS 2, panel: HS1
-
23. Wiele twarzy otwartej przyszłości
Kierownik: dr Jacek Marcin Wawer
Uniwersytet Jagielloński
Konkurs: SONATA BIS 15, panel: HS1
-
Kierownik: dr Magdalena Feliksa Marciniak
Politechnika Łódzka
Konkurs: SONATA 20, panel: ST7
-
Kierownik: dr hab. Robert Wrembel
Politechnika Poznańska
Konkurs: CHIST-ERA Call 2023, panel: ST6
-
26. Metoda eksperymentów myślowych a epistemologia esencji
Kierownik: dr Krzysztof Andrzej Sękowski
Uniwersytet Warszawski, Wydział Filozofii
Konkurs: OPUS 26, panel: HS1
-
27. Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce
Kierownik: dr Michał Tomasz Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: OPUS 25, panel: HS1
-
28. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy
Kierownik: Arkadiusz Jerzy Wójcik
Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki
Konkurs: PRELUDIUM 21, panel: HS1
-
29. Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja
Kierownik: prof. Andrzej Pietruszczak
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Konkurs: OPUS 22, panel: HS1
-
Kierownik: Paweł Karol Frankowski
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Elektryczny
Konkurs: PRELUDIUM 20, panel: ST7
-
31. Logiczno-filozoficzne podstawy geometrii i topologii
Kierownik: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Konkurs: OPUS 20, panel: HS1
-
32. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych
Kierownik: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: OPUS 13, panel: HS1
-
33. Fundamentalne zagadnienia ontologiczne a fizyka współczesna
Kierownik: dr hab. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
Konkurs: OPUS 13, panel: HS1
-
Kierownik: dr hab. Marek Nasieniewski
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Konkurs: OPUS 12, panel: HS1
-
35. Hybrydyzacja fragmentów logiki Halperna-Shohama
Kierownik: Przemysław Andrzej Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: PRELUDIUM 12, panel: HS1
-
36. Realne możliwości: czym są i jak są reprezentowane w fizyce?
Kierownik: prof. Tomasz Grzegorz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: OPUS 12, panel: HS1
-
37. Czasoprzestrzenne historie - teoria i zastosowania
Kierownik: prof. Tomasz Grzegorz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: HARMONIA 8, panel: HS1
-
38. Wybrane metody weryfikacji modelowej wykorzystujące testery SMT
Kierownik: Agnieszka Małgorzata Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Konkurs: PRELUDIUM 8, panel: ST6
-
Kierownik: dr Łukasz Bola
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 8, panel: HS6
-
40. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
Kierownik: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: PRELUDIUM 1, panel: HS1