en | de

Program Verification

bachelor program

VO3 + PS2  SS 2021  703083 + 703084

Proseminar

Jede Woche gibt es ein hier ein neues Übungsblatt. Die bearbeiteten Aufgaben müssen in OLAT in der Kreuzliste markiert werden und die Lösung muss ebenfalls in OLAT hochgeladen werden (bevorzugt als ein PDF, erzeugt z.B. durch das Kommandozeilen-Tool "convert"). Bei Programmieraufgaben müssen die Haskell-Dateien ebenfalls in OLAT verfügbar gemacht werden. Die Abgabefrist ist jeweils 8 Uhr morgens vor dem Proseminar.