![]() |

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