Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Mi 09:30 - 10:45 im HS 4 statt. Die Übungstermine sind: 25.04., 09.05., 23.05., 05.06., 27.06., 11.07.
Der Übungstermin am 05.06. findet 18:20 Uhr - 19:35 Uhr in HS 5 statt.
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 von der Tutorin Kim Weißer (inf9378) geleitet werden. Die Tutorien finden immer zum nächstmöglichen Termin nach der Übung statt, also alle 2 Wochen. Beachten Sie die Unregelmäßigkeiten in der Montagsgruppe aufgrund von hochschulweiten Stundenplanveränderungen.
Termine | Raum | Abschlusstermin |
|---|---|---|
| 1) Mo 11:00 - 12:15, Termine: 07.05., 14.05., 01.06., 11.06., 02.07. | SR 8 | 16.08., 11 Uhr |
2) Fr 12:30 - 13:45, | HS 1 | zusammen mit 1) |
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (pdf, doc) | Di, 17.04.12 | Mi, 25.04.12 | |
| 02 | Prädikatenlogik (pdf, doc) | Mo, 30.04.12 | Mi, 09.05.12 | Aufgabe 4 ist ohne die erst am 09.05. vorgeführten Beispiele noch sehr schwer und wird daher noch einmal gestellt. Interessierte dürfen sich aber gerne daran versuchen. |
| 03 | Prädikatenlogik, Hoare-Tripel, einfache Zuweisungen (pdf, doc) | Mi, 16.05.12 | Mi, 23.05.11 | Am 23.05. werden nur Aufgaben 1) - 3) besprochen. |
| 04 | Mi, 30.05.12 | Di, 05.06.12 | ||
| 05 | Verifikation von Verzweigungen und Schleifen (pdf. doc) | Di, 12.06.12 | Mi, 27.06.12 | |
| 06 | Verifikation von Schleifen und rekursiven Prozeduren (pdf, doc) | Di, 03.07.12 | Mi, 11.07.12 |