Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Fr 08:00 - 09:15 im HS 6 statt. Die Übungstermine sind: 22.10., 05.11., 19.11., 03.12., 17.12., 14.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
Es gibt vier Gruppen, die von den Tutoren Lars Detlefsen (winf7770) und Oliver Korff (inf6606) geleitet werden.
Die Tutorien starten ab dem 25.10. Sie finden zweiwöchentlich statt. Die Wochentage werden in der ersten Vorlesung am 15.10. vorgestellt und endgültig festgelegt. Die genauen Übungstermine werden dann hier bekanntgegeben.
Termine | Raum | Abschlusstermin |
|---|---|---|
| Lars I Di, 12:30 - 13:45 26.10., 09.11., 23.11., 07.12., 21.12. | HS 3 | 14.01., 12:30 Uhr (HS 1) |
Lars II Di, 12:30 - 13:45 | HS 3 | 14.01., 12:30 Uhr (HS 1) |
| Oliver I Do, 12:30 - 13:45 28.10., 11.11., 25.11., Ersatz für 09.12., 23.12. | HS 3 | 20.01., 12:30 Uhr (HS 3) |
| Oliver II Do, 12:30 - 13:45 04.11., 18.11., 02.12., 16.12., 06.01. | HS 3 | 20.01., 12:30 Uhr (HS 3) |
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (pdf, doc) | Mi, 13.10.10 | Fr, 22.10.10 | |
| 02 | Prädikatenlogik (pdf, doc) | Do, 28.10.10 | Fr, 05.11.10 | Am 05.11. werden nur die Aufgaben 1) bis 3) besprochen. Die Aufgaben 4) und 5) werden für die 3. Übung noch einmal gestellt. |
| 03 | Prädikatenlogik, Hoare-Tripel, einfache Zuweisungen (pdf, doc) | Do, 11.11.10 | Fr, 19.11.10 | Die Aufgaben 1) und 2) sind identisch mit Aufgaben 4) und 5) der vorigen Übung |
| 04 | Mi, 24.11.10 | Fr, 03.12.10 | ||
| 05 | Verifikation von Schleifen (pdf, doc) | Do, 09.12.10 | Fr, 17.12.10 | |
| 06 | Verifikation von rekursiven Prozeduren (pdf, doc) | Do, 06.01.11 | Fr, 14.01.11 |