Mitarbeiter
Übungen zur Vorlesung Formale Logik und Verifikation im SS 2017
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 26.04. Sie finden zweiwöchentlich statt.
Der Tutor ist Kaan Tolunay Kilic: inf101880. Er bietet folgende 2 Termine an, die alternativ besucht werden können:
Termine | Raum |
|---|---|
1) Mo 12:30 - 13:45 (03.05., 08.05., 22.05., 12.06., 19.06., 10.07.) | HS 4 |
2) Mi 12:30 - 13:45 (26.04., 10.05., 17.05., 07.06., 14.06., 05.07., 12.07.) | HS 4
|
Es wird noch einen Abschlusstermin zur Klausurvorbereitung geben.
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 11.04. | 25.04. | |
| 02 | 20.04. | 02.05. | ||
| 03 | Prädikatenlogik, Bedingungsketten (doc, pdf) | 08.05. | 16.05. | Lösung für Aufgabe 5 |
| 04 | Verifikation von Zuweisungen und Verzweigungen (doc, pdf) | 23.05. | 30.05. | |
| 05 | Verifikation von Verweigungen und Schleifen (doc, pdf) | 06.06. | 13.06. | |
| 06 | Verifikation von Schleifen und rekursiven Prozeduren (doc, pdf) | 20.06. | 04.07. | |
| 07 | Klassifizierung und Verifikation rekursiver Prozeduren (doc, pdf) | 04.07. | 11.07. |