Time and Venue:
Lecture: Tuesdays 16:00-18:00 and Thursdays 16:00-18:00, Bldg E1.4, Room 024.
Tutorials: Tuesdays 8:00-10:00 or Thursdays 14:00-16:00, Bldg E1.4, Room 023.
Next semester: Automated Reasoning II, Wednesday 14:00-16:00, Bldg E1.3, Room 003.
Uwe Waldmann <firstname.lastname@example.org>
Willem Hagemann (Tue)
Ching Hoo Tang (Thu)
Syntax, semantics, deduction calculi, and their implementation:
Exercise sheets [Willem Hagemann]
Summary of the lecture evaluation [PDF]