Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Semantyka oparta na relacji: podejście aksjomatyczne i tablicowe
Konkurs: OPUS 26 , panel: HS1
Kierownik: dr hab. Tomasz Jarmużek
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
-
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
-
Aksjomatyzacje rozmaitości i quasirozmaitości
Konkurs: SONATA 1 , panel: ST1
Kierownik: dr Michał Stronkowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych