Logo of the University of Passau
Information for... Faculties & facilities
Support Login
Chair of Symbolic Computation
Chair of Symbolic Computation

Courses taught in this semester

Lecture
Course
5160V Basiskurs Mathematik
Wed.. 10:00 - 12:00 (weekly), Location: (JUR) HS 14, Dates on Monday, 09.02.2026 08:00 - 12:00, Friday, 10.04.2026 13:00 - 17:00, Room: (IM) HS 11
Prof. Dr. Martin Kreuzer
5670V Computational Logic
Mon.. 14:00 - 16:00 (weekly), Location: (IM) HS 13, Fri.. 10:00 - 11:00 (weekly), Location: (IM) HS 11, Dates on Monday, 09.02.2026 13:00 - 17:00, Friday, 10.04.2026 08:00 - 12:00, Room: (IM) HS 13
Prof. Dr. Martin Kreuzer
Exercise course
Course
5160UE Basiskurs Mathematik
Wed.. 08:00 - 10:00 (weekly), Location: (JUR) HS 14
Prof. Dr. Martin Kreuzer
Bernhard Andraschko
5670Ü Computational Logic
Thu.. 16:00 - 18:00 (weekly), Location: (IM) HS 12, Fri.. 08:00 - 10:00 (weekly), Location: (ITZ) SR 004
Prof. Dr. Martin Kreuzer
Graduate seminar
Course
5783OS NOCAS - Niederbayrisch-Oberösterreichisches Computeralgebraseminar
Mon.. 16:00 - 18:00 (weekly), Location: (IM) SR 033
Prof. Dr. Martin Kreuzer
Last updated: | Page ID: 17405
Share page
Print page
I agree that a connection to the Vimeo server will be established when the video is played and that personal data (e.g. your IP address) will be transmitted.
I agree that a connection to the YouTube server will be established when the video is played and that personal data (e.g. your IP address) will be transmitted.
Show video