Mitarbeiter
Übungen zur Vorlesung Formale Logik und Verifikation im SS 2018
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 nach der ersten großen Übung. Sie finden zweiwöchentlich statt.
Der Tutor ist Jakob Hansen: inf101623. Er bietet folgende Termine an, die alternativ besucht werden können:
Termine | Raum |
|---|---|
1) Do 12:30 - 13:45: 19.04., 26.04. 17.05., 07.06., 21.06., 05.07., 12.07. | HS 3 |
| 2) Mo 11:00 - 12:15: 23.04., 02.05., 28.05., 11.06., 25.06., 09.07. | HS 2
|
Es wird noch einen Abschlusstermin zur Klausurvorbereitung geben.
Es können jeden Donnerstag in der großen Übung um 8 Uhr Lösungen abgegeben werden, die von Tutor dann korrigiert werden.
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 11.04. | 19.04. | |
| 02 | 18.04. | 26.04. | ||
| 03 | Prädikatenlogik, Bedingungsketten (doc, pdf) | 02.05. | 17.05. | Lösung zu Aufgabe 4 |
| 04 | Verifikation von Zuweisungen und Verzweigungen (doc, pdf) | 23.05. | 07.06. | |
| 05 | Verifikation von Verweigungen und Schleifen (doc, pdf) | 13.06. | 21.06. | |
| 06 | Verifikation von Schleifen und rekursiven Prozeduren (doc, pdf) | 27.06. | 05.07. | |
| 07 | Klassifizierung und Verifikation rekursiver Prozeduren (doc, pdf) | 04.07. | 12.07. |