Mitarbeiter
Übungen zur Vorlesung Formale Logik und Verifikation im SS 2015
Die Übung findet im Wechsel mit der Vorlesung statt. In der Regel ist das alle 14 Tage. Der genaue Plan ist auf der Hauptseite dieser Vorlesung.
Tutorien
Die Tutorien und Termine stehen unten. Die Tutorien starten ab dem 30.04. Sie finden zweiwöchentlich statt.
Die Tutorin ist Alina Claussen (minf100579). Sie erreichen Sie unter <Matrikelnummer>@fh-wedel.de
Termine | Raum |
|---|---|
1) Do 30.04., 07.05., 21.05., 11.06., 25.06., 09.07., 16.07.
| HS 3 |
2) Fr 08.05., 22.05., 12.06., 26.06., 10.07. | SR 11 |
Der erste Termin der Freitagsübung findet wegen des Feiertags zusammen mit dem 1. Termin der Donnerstagsübung statt. Der letzte Termin der Freitagsübung findet in den Klausurwochen statt (ab 10.08.) und dient nicht nur der Besprechung der letzten Übung, sondern auch der allgemeinen Klausurvorbereitung (für alle Übungsteilnehmer). Er wird hier rechtzeitig bekannt gegeben.
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 16.04. | 28.04. | |
| 02 | Prädikatenlogik (doc, pdf) | 23.04. | 05.05. | |
| 03 | Prädikatenlogik, Bedingungsketten, Hoare-Tripel (doc, pdf) | 12.05. | 19.05. | |
| 04 | Verifikation von Zuweisungen und Verzweigungen (doc, pdf) | 26.05. | 09.06. | |
| 05 | Verifikation von Schleifen (doc, pdf) | 16.06. | 23.06. | |
| 06 | Verifikation von Schleifen und rekursiven Prozeduren (doc, pdf) | 30.06. | 07.07. | |
| 07 | Klassifizierung und Verifikation rekursiver Prozeduren (doc, pdf) | 07.07. | 14.07. |