Roman Matuszewski

Overview

active non-permanent staff member

Controlled language. Computer oriented formalization of mathematics. Logic, artificial intelligence.

2023 - Logic 330-MS1-1LOG

2024 - (in Polish) Nowe technologie w humanistyce 500-FS2-1NTH: Class (group 1)

2024 - Cognitive Logic 500-KS1-2LOK3: Lecture (group 1)

2024 - Information Technologies in the Humanities 500-FS1-1TIH: Laboratory (group 1)

2023 - (in Polish) Nowe technologie w humanistyce 460-FS2-1NTH: Class (group 1)

2023 - Information Technologies in the Humanities 460-FS1-1TIH: Laboratory (group 1)

2023 - Logic 330-MS1-1LOG: Lecture (group 1)

2025 - (in Polish) Nowe technologie w humanistyce 500-FS2-1NTH: Class (group 1)

2025 - (in Polish) Logika kognitywna 500-KS1-2LOK: Lecture (group 1)

Names

Roman

Surname

Matuszewski

Degrees and titles

603-491-986

http://mizar.org/people/romat/

show email address

send a message to the user