Mitarbeiter
Übungen zur Vorlesung Formale Logik und Verifikation im SS 2016
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 28.04. Sie finden zweiwöchentlich statt. Das Donnerstagstutorium findet am Tag nach der Übung statt. Die Mittwochstutorien finden abwechselnd statt, sodass an jedem Mittwoch ein Tutorium ist.
Der Tutor ist Arif Özütemiz. Er ist unter <matr.-nr.>@fh-wedel.de erreichbar, wobei <matr.-nr.>=winf100098.
Termine | Raum |
|---|---|
1) Do, 15:30: 28.04., 12.05., 19.05., 02.06., 23.06., 14.07. | HS 3 |
2) Mi, 15:30: 04.05., 18.05., 01.06., 22.06., 3) Mi, 15:30: 11.05., 25.05., 15.06., 29.06., 13.07. | HS 4 HS 4 |
Es wird noch einen Abschlusstermin zur Klausurvorbereitung geben.
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 19.04. | 27.04. | |
| 02 | Prädikatenlogik (doc, pdf) | 27.04. | 04.05. | |
| 03 | Prädikatenlogik, Bedingungsketten (doc, pdf) | 11.05. | 18.05. | Lösung von Aufgabe 4 |
| 04 | Verifikation von Zuweisungen und Verzweigungen (doc, pdf) | 25.05. | 01.06. | |
| 05 | Verifikation von Verweigungen und Schleifen (doc, pdf) | 14.06. | 22.06. | |
| 06 | Verifikation von Schleifen und rekursiven Prozeduren (doc, pdf) | 28.06. | 06.07. | |
| 07 | Klassifizierung und Verifikation rekursiver Prozeduren (doc, pdf) | 07.06. | 13.07. | Beispiel in Vorlesung |