dr
Roman Matuszewski
Sign in to see more.
Overview
Interests
Controlled language. Computer oriented formalization of mathematics. Logic, artificial intelligence.
Courses coordinated
2023 - (in Polish) Nowe technologie w humanistyce [460-FS2-1NTH]
2023 - Information Technologies in the Humanities [460-FS1-1TIH]
2023 - Logic [330-MS1-1LOG]
2024 - (in Polish) Nowe technologie w humanistyce [500-FS2-1NTH]
2024 - Cognitive Logic [500-KS1-2LOK3]
2024 - Information Technologies in the Humanities [500-FS1-1TIH]
2025 - (in Polish) Nowe technologie w humanistyce [500-FS2-1NTH]
2025 - (in Polish) Logika kognitywna [500-KS1-2LOK]
2026 - (in Polish) Nowe technologie w humanistyce [500-FS2-1NTH]
2026 - (in Polish) Logika kognitywna [500-KS1-2LOK]
