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 pdf Exercise11.thy
12 19.06 pdf

Benotung

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