en | de

Program Verification

bachelor program

VO3 + PS2  SS 2024  703083 + 703084

Proseminar

Jede Woche gibt es ein hier ein neues Übungsblatt. Die bearbeiteten Aufgaben müssen in OLAT markiert werden. in der Kreuzliste markiert werden. Die Abgabefrist ist jeweils 6 Uhr morgens vor dem Proseminar. Lösungen werden in OLAT verfügbar gemacht.

week date exercises material
01 13.03 pdf
02 20.03 pdf template_02.hs
03 10.04 pdf template_03.hs
04 17.04 pdf template_04.hs
05 24.04 pdf template_05.hs
06 08.05 pdf
07 15.05 pdf
08 22.05 pdf
09 29.05 pdf Exercise09.thy
10 05.06 pdf
11 12.06
12 19.06

Benotung

Die Noten für das Proseminar werden wie folgt berechnet.