Roman Matuszewski

Overview

associate in (in Polish) Pracownicy dydaktyczni Wydziału Filozofii i Kognitywistyki

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

2023 - Logic 330-MS1-1LOG

2022 - (in Polish) Technologie informacyjne w humanistyce 410-FS1-1TIH: Laboratory (group 1)

2022 - (in Polish) Nowe technologie w humanistyce 410-FS2-1NTH: Class (group 1)

2023 - (in Polish) Technologie informacyjne w humanistyce 460-FS1-1TIH: Laboratory (group 1)

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

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

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

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

First names

Roman

Surname

Matuszewski

Degrees and titles

603-491-986

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

show email address

send a message to the user