Polski Zjazd Filozoficzny

sympozjum lub panel Ontologia formalna w Polsce

wrzesień

wt10wrz17:0019:15szczególnie polecamyOntologia formalna w Polsce: wczoraj, dziś i jutroJanusz Kaczmarek, Bartłomiej Skowron, Piotr Błaszczyk, Paweł Garbacz, Robert Trypuz, Jacek Paśniczek17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

wt10wrz17:0019:15Ontologia tekstu matematycznegodr hab. Piotr Błaszczyk, prof. UPKEN (Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie)17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

wt10wrz17:0019:15Kiedy stosowanie narzędzi formalnych w ontologii jest niecelowe, a kiedy nawet szkodliwe?prof. dr hab. Jacek Paśniczek (Uniwersytet Marii Curie-Skłodowskiej w Lublinie)17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

wt10wrz17:0019:15Ontologia formalna w Polscedr hab. Janusz Kaczmarek, prof. UŁ (Uniwersytet Łódzki)17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

wt10wrz17:0019:15Czego filozofowie mogą nauczyć się od informatyków w zakresie stosowania metod formalnych?dr hab. Robert Trypuz (Katolicki Uniwersytet Lubelski Jana Pawła II), dr hab. Paweł Garbacz (Katolicki Uniwersytet Lubelski Jana Pawła II)17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

wt10wrz17:0019:15Bogate struktury matematyczne jako materiał dla ontologii formalnejdr Bartłomiej Skowron (Politechnika Warszawska)17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

wt10wrz17:0019:15Od zdania elementarnego do topologicznej ontologiidr hab. Janusz Kaczmarek, prof. UŁ (Uniwersytet Łódzki)17:00 - 19:15 CTW-113 (Centrum Transferu Wiedzy) organizator: Sekcja Ontologii i Metafizyki sympozjum lub panel:Ontologia formalna w Polsce

Font Resize
Contrast
X