Lehrende

		Raum	Sprechstunde
VO	Aart Middeldorp	3M07	Montag	11:30 – 13:00
UE	Johannes Niederhauser	3M03	Mittwoch	10:00 – 11:30

Zeit & Ort

UE

Montag

16:30 – 18:00

HS 11

The slides and recordings of the lecture (VO) are available in OLAT. The exercise sessions (UE) start on October 5; only international master students who have Logic as supplementary requirement can register.

Exams

• Tuesday March 23, 8:30 – 11:00 in HSB 3 (online registration from February 16 until March 9)
• Friday May 21, 13:00 – 15:30 in HSB 3 (online registration from April 16 until May 7)

You can also take the 3rd exam of the 26S course:

• Thursday February 4, 8:30 – 11:00 in HSB 3 (online registration from January 1 until January 21)

Sprache

The course is taught in English.

OLAT Links

• lecture (VO)
• exercise sessions (UE)