Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Mi 11:00 - 12:15 im HS 5 statt. Die Übungstermine sind: 13.04., 27.04., 18.05., 01.06., 15.06., 06.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 Lennart Steffin (winf9076) geleitet werden.
Termine | Raum | Abschlusstermin |
|---|---|---|
| 1) Mo 12:30 - 13:45 Uhr 18.04., 02.05., 23.05., 06.06., 20.06. | HS 3 | 01.08., HS 1 |
| 2) Di 12:30 - 13:45 Uhr 26.04., 10.05., 24.05., 07.06., 21.06. | HS 3 | 01.08., HS 1 |
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (pdf, doc) | Mo, 04.04.11 | Mi, 13.04.11 | |
| 02 | Prädikatenlogik (pdf, doc) | Di, 19.04.11 | Mi, 27.04.11 | |
| 03 | Prädikatenlogik, Hoare-Tripel, einfache Zuweisungen (pdf, doc) | Mi, 04.05.11 | Mi, 18.05.11 | Lösung Aufgabe 5 |
| 04 | Mi, 25.05.11 | Mi, 01.06.11 | ||
| 05 | Verifikation von Schleifen (pdf, doc) | Mi, 08.06.11 | Mi, 15.06.11 | |
| 06 | Verifikation von rekursiven Prozeduren (pdf, doc) | Di, 21.06.11 | Mi, 06.07.11 |