Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Do 11:00 - 12:15 im Audimax statt. Die Übunstermine sind: 15.10., 29.10., 12.11. (zur Hälfte), 19.11. (zur Hälfte), 26.11., 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
Jeder Tutor hat zwei Gruppen. Lösungen von Studierenden, die sich in der ersten Gruppe eingetragen haben, werden eher korrigiert als die von der zweiten. Das Tutorium als Sprechstunde steht natürlich in jeder Woche allen offen. Bei Fragen zu eigenen Lösungen sollten die Teilnehmer der 1. Gruppe eher in der Woche nach der zugehörigen Übung kommen, die Teilnehmer der 2. Gruppe eine Woche später.
Die Tutorien starten am 20.10.
Termin | Tutor | Raum | Abschlusstermin | |
|---|---|---|---|---|
| Di 12:30 - 13:45 | Thies Fengler | winf6533 | HS3 | Fr 22.01., 09 Uhr, HS 3 |
| Mi 12:30 - 13:45 | Hannes Wendler | winf7254 | HS3 | Do 21.01., 10 Uhr, HS 6 |
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (pdf, doc) | Do, 08.10.09 | Do, 15.10.09 | |
| 02 | Prädikatenlogik (pdf, doc) | Do, 22.10.09 | Do, 29.10.09 | |
| 03 | Prädikatenlogik, Hoare-Tripel (pdf. doc) | Do, 05.11.09 | Do, 12.11.09 | Aufgaben 1)-3) |
| 04 | Do, 19.11.09 | Do, 26.11.09 | Aufgaben 1) - 3)a) Aufgaben 3)b) - 4) | |
| 05 | Verifikation von Schleifen (pdf, doc) | Mo, 07.12.09 | Do, 17.12.09 | Aufgabenstellung 2) |
| 06 | Verifikation von rekursiven Prozeduren (pdf, doc) | Di, 05.01.10 | Do, 14.01.10 |