Logic

The solutions of the 3rd exam are available.

Online registration is required until 23:59 on February 11 for the 3rd exam on February 25.

For the 1st exam security measures are in place. At 7:30 am sharp registered participants will be let in the building (entrance Technikerstr. 13b) according to the following schedule:

1. last name starting with A, B or C
2. D
3. E, F, G
4. H
5. K
6. L, M, N
7. O, P, R
8. S
9. T, V, W, Z

At the entrance of HSB3 student cards will be checked. The exam starts at 8 am sharp and runs until 11 am. Early departures are not allowed.

The PS test has been cancelled. As a consequence, the grade for the PS is determined by the quality and number of solutions in OLAT

A simple Haskell program is available.

From March 16 onwards, the VO will be streamed and recorded. See the OLAT site for the VO.

PS groups 1 and 2 are combined on March 5, and take place in HS 10.

Online registration for the PS is required until 23:59 on February 21.

Check this site regularly for announcements; visit the content page to access the slides and homework exercises.