Lecture:
Wednesdays 16:15–17:45 and Thursdays 16:15–17:45,
E1.4, Lecture hall 024.
Tutorial:
Tuesdays 10:15–11:45,
E1.4, Lecture hall 024.
Modified schedule for the last two weeks of the lecture time:
Tuesday, January 27, 10:15–11:45, E1.4, 024: Tutorial
Wednesday, January 28, 16:15–17:45, E1.4, 024: Lecture
Thursday, January 29, 14:15–15:45 and 16:15–17:45, E1.4, 024: Lecture
Tuesday, February 3, 10:15–11:45: CANCELLED
Wednesday, February 4, 16:15–17:45, E1.4, 024: Lecture
Thursday, February 5, 14:15–15:45, E1.4, 023: Tutorial
Thursday, February 5, 16:15–17:45, E1.4, 024: Q&A
Recall that students who intend to participate in the endterm must register within HISPOS.
Lecturers:
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Christoph Weidenbach
Topics:
Syntax, semantics, deduction calculi, and their implementation:
Lecture evaluation / Tutorial evaluation