Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Do 17:00 - 18:15 im HS 6 statt. Die Übungstermine sind: 20.10., 03.11., 17.11., 08.12. (geändert!), 22.12., 12.01.
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
Die Tutorien und Termine stehen unten. Die rot markierten Termine standen bisher noch nicht endgültig fest bzw. waren anders festgelegt, wurden aber nach Absprache in der Vorlesung und mit den Tutoren inzwischen auf die unten angegebenen Termine festgelegt. Hierbei spielt auch eine Rolle, dass der Übungstermin vom 01.12. auf den 08.12. verschoben ist, sodass sich die Tutorien zur 4. Übung alle um eine Woche verschieben.
Der Abschlusstermin findet zum Ende der Vorlesungszeit statt und wird noch bekannt gegeben.
Die Tutorien starten ab dem 24.10. Sie finden zweiwöchentlich statt. Die Tutoren sind unter ihrer FH-e-mail-Adresse erreichbar, die sich aus der Matrikelnummer ergibt.
Termine | Raum | Abschlusstermin |
---|---|---|
Lennart Steffin (winf1026) Mo 1, 12:30 Uhr: Lennart Steffin (winf1026) Mo 2, 12:30 Uhr: Timo Jacobs (winf9122) Mi 1, 12:30 Uhr: Timo Jacobs (winf9122) Mi 2, 12:30 Uhr: Tobias Krebber (winf9255) Do 1, 12:30 Uhr: Tobias Krebber (winf9255) Do 2, 12:30 Uhr: | SR8 SR8 HS4 HS4 SR8 SR8 | 19.01., 12:30 Uhr, SR 8 19.01., 12:30 Uhr, SR 8 19.01., 12:30 Uhr, HS 4 19.01., 12:30 Uhr, HS 4 19.01., 12:30 Uhr, HS 5 19.01., 12:30 Uhr, HS 5 |
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
---|---|---|---|---|
01 | Aussagenlogik (pdf, doc) | Mi, 13.10.11 | Do, 20.10.11 | Lösung von Timo Jacobs |
02 | Prädikatenlogik (pdf, doc) | Mi, 26.10.11 | Do, 03.11.11 | |
03 | Prädikatenlogik, Hoare-Tripel, einfache Zuweisungen (pdf, doc) | Di, 08.11.11 | Do, 17.11.11 | Teil-Lösung für Aufgabe 1 |
04 | Di, 22.11.11 | Do, 08.12.11 | ||
05 | Verifikation von Schleifen (pdf, doc) | Mi, 07.12.11 | Do, 22.12.11 | |
06 | Verifikation von rekursiven Prozeduren (pdf, doc) | Mo, 19.12.11 | Do, 12.01.12 |