News
registration required
Online registration is required between
January 19 (0:00) and February 9 (23:59) for the 3rd exam on February 23.
solutions 2nd exam
The solutions of the 2nd exam are
available.
registration required
Online registration is required between
August 23 (0:00) and September 13 (23:59) for the 2nd exam on
September 27.
solutions 1st exam
The solutions of the 1st exam are
available.
natural deduction
The natural deduction tool illustrated in the
lecture is available.
boxproof
The LaTeX package that is used for typesetting natural
deduction proofs is available.
recordings
Check the
OLAT site for recordings of the lectures.
registration PS groups
The PS groups are fixed. In OLAT you
have access only to the group for which are you registered.
presence teaching
The course takes place
in presence.
registration required
Online registration for the PS is
required until 23:59 on February 21. Group 1 is taught in English, groups
2 – 5 are taught in German. Do not register
for a PS group that has already 25 registrations!
news
Check this site regularly for announcements; visit the
content page to access the slides, the homework
exercises, as well as selected solutions.