Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Mi 14:00 - 15:15 im HS 1 statt. Die Übungstermine sind: 21.04., 05.05., 19.05., 09.06., 22.06. (geändert: 18:20, HS 5), 07.07.
Newsgroup: fhw.gdt (News-Server: news.fh-wedel.de)
Diese Newsgroup wird nicht als Verteiler von Informationen des Dozenten verwendet. Sie dient dem Austausch der Studierenden untereinander.
Tutorien
Es gibt zwei Gruppen, die vom Tutor Florian Held (inf7773) geleitet werden.
Die Tutorien starten ab dem 26.04. Sie finden zweiwöchentlich jeweils in derselben Woche wie die Vorlesung statt, also in der Woche nach der großen Übung. Bei unvollständigen Wochen kann es Ausnahmen geben. Daher sind die genauen Termine unten angegeben.
Der Tutor behält sich vor, die Donnerstags-Übung bei zu großer eigenen Studienbelastung in einzelnen Fällen auf den darauf folgenden Montag zu verlegen in Absprache mit den Teilnehmern. Das wird dann in der newsgroup angekündigt und auch hier vermerkt.
Termine | Raum | Abschlusstermin |
|---|---|---|
| Mo, 12:30 Uhr, 26.04., 10.05., 25.05., 14.06., 28.06. | HS 4 | 04.08., 14 Uhr HS 5 |
| Do, 12:30 Uhr, 29.04., 17.05., 27.05., 17.06., 01.07. | HS 1 | wie oben |
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (pdf, doc) | Di, 13.04.10 | Mi, 21.04.10 | |
| 02 | Prädikatenlogik (pdf, doc) | Mi, 28.04.10 | Mi, 05.05.10 | |
| 03 | Prädikatenlogik, Hoare-Tripel, einfache Zuweisungen (pdf, doc) | Di, 11.05.10 | Mi, 19.05.10 | |
| 04 | Verifikation von Zuweisungen, Verzweigungen, erste Schleife (pdf, doc) | Di, 25.05.10 | Mi, 09.06.10 | Aufgabe 4 wird am 09.06. noch nicht besprochen, sondern ist erst zum 16.06. abzugeben. Lösungshinweise werden am 09.06. gegeben. |
| 05 | Verifikation von Schleifen (pdf, doc) | Mi, 16.06.10 | Di, 22.06.10 | |
| 06 | Verifikation von rekursiven Prozeduren (pdf, doc) | Mi, 30.06.10 | Mi, 07.07.10 |