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.
DazuUebung2.zip
mit den DateienVSPL0.thy, VSPL.thy, Uebung2.thy
. - 3. Übungsblatt vom 14.05.13, abzugeben am 27.05.13.
DazuUebung3.zip
- 4. Übungsblatt vom 30.05.13, abzugeben am 13.06.13.
DazuUebung4.zip
mit den DateienMyList.thy
undVSHOL.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.
Links zu Isabelle
- Die Isabelle Heimatseite.