|
aktywny pracownik nieetatowy
|
dr
Roman Matuszewski
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Zainteresowania
Automatyczne tłumaczenie z języka formalnego na naturalny. Baza wiedzy matematycznej - sprawdzona komputerowo. Logika, sztuczna inteligencja.
Koordynowane przedmioty
2024 - Logika kognitywna 500-KS1-2LOK3
2024 - Nowe technologie w humanistyce 500-FS2-1NTH
2024 - Technologie informacyjne w humanistyce 500-FS1-1TIH
2025 - Logika kognitywna 500-KS1-2LOK
2025 - Nowe technologie w humanistyce 500-FS2-1NTH
