Formale Modellierung
Übungsblätter
- 1. Übungsblatt vom 23.04.15, abzugeben am 07.05.15.
- 2. Übungsblatt vom 11.05.15, abzugeben am 26.05.15.
Dazu:VS.zipundUebung2.thy - 3. Übungsblatt vom 28.05.15, abzugeben am 11.06.15.
Dazu:ueb03.zip - 4. Übungsblatt vom 12.06.15, abzugeben am 26.06.15.
Dazu:ueb04.zip - 5. Übungsblatt vom 29.06.15, abzugeben am 16.07.15.
Dazu:ueb05.zip
Scheinbedingungen
Es wurden folgende Scheinkriterien für den Übungsbetrieb vereinbart:
- Von den n ausgegebenen Übungsblättern werden die n besten bewertet. Die Bewertung muss mindestens ausreichend sein.
- Es gilt der Notenspiegel von PI3 im WS14/15.
- Die Individualität der Leistung wird sichergestellt durch ein Fachgespräch am Ende des Semesters.
Links zu Isabelle
- Die Isabelle Heimatseite.