en | de

Logik

Bachelorstudium

VO3 + PS2  SS 2022  703026 + 703027

Neuigkeiten


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.