Formale Modellierung
Übungsblätter
Hier werden sich die Übungsblätter zur Veranstaltung finden.
- 1. Übungsblatt vom 28.04.14, abzugeben am 12.05.14.
- 2. Übungsblatt vom 12.05.14, abzugeben am 26.05.14.
Dazu die DateiUebung2.zip
- 3. Übungsblatt vom 26.05.14, abzugeben am 12.06.14.
Dazu die DateiUebung3.zip
- 4. Übungsblatt vom 12.06.14, abzugeben am 23.06.14.
- 5. Übungsblatt vom 27.06.14, abzugeben am 10.07.14.
Dazu die DateiUebung4.thy
- 6. Übungsblatt vom 10.07.14, abzugeben am 24.07.14.
Scheinbedingungen
In der ersten Vorlesung wurden folgende Scheinkriterien für den Übungsbetrieb beschlossen:
- Von den n ausgegebenen Übungsblättern werden die n 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.