Inhaltsverzeichnis

Formale Modellierung

Übungsblätter

Hier werden sich die Übungsblätter zur Veranstaltung finden.

1. Übungsblatt vom 11.04.13, abzugeben am 29.04.13.
2. Übungsblatt vom 18.04.13, abzugeben am 9.05.13.
Dazu Uebung2.zip mit den Dateien VSPL0.thy, VSPL.thy, Uebung2.thy.
3. Übungsblatt vom 14.05.13, abzugeben am 27.05.13.
Dazu Uebung3.zip
4. Übungsblatt vom 30.05.13, abzugeben am 13.06.13.
Dazu Uebung4.zip mit den Dateien MyList.thy und VSHOL.thy.
5. Übungsblatt vom 13.06.13, abzugeben am 27.06.13. mit der Datei Uebung4.thy

In der ersten Vorlesung wurden folgende Scheinkriterien für den Übungsbetrieb beschlossen:

Von den n ausgegebenen Übungsblättern werden die n-1 besten bewertet. Die Bewertung muss mindestens ausreichend sein.
Es gilt der Notenspiegel von PI3 im WS12/13.
Die Individualität der Leistung wird sichergestellt durch ein Fachgespräch am Ende des Semesters.

Alternativ ist immer eine mündliche Modulprüfung möglich.

Links zu Isabelle

Die Isabelle Heimatseite.