Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Do 17:00 - 18:15 in HS4 statt. Die Übunstermine sind: 23.04., 07.05., 11.06., 25.06., 09.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
Der 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.
Termin | Tutor | Raum | Abschlusstermin | |
|---|---|---|---|---|
| Mo 11:00 - 12:15 | Alexander Hartung | minf8605 | SR 1 | Fr, 21.08. 11:00 - 12:15 |
Rückgabe der korrigierten Übungszettel:
1. Gruppe: 27.04., 11.05., 15.06., 29.06., 21.08.
2. Gruppe: 04.05., 18.05., 22.06., 06.07., 21.08.
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Kontrollstrukturen, Aussagenlogik (pdf, doc) | Mi, 15.04.09 | Do, 23.04.09 | |
| 02 | Prädikatenlogik (pdf, doc) | Mi, 29.04.09 | Do, 07.05.09 | Aufgabe 5 ist erst nach dem 14.05. zu bearbeiten. |
| 03 | Hoare-Tripel, Verifikation (pdf, doc) | Fr, 29.05.09 | Do, 11.06.09 | Aufgaben 5 und 6 werden erst am 18.06. besprochen. |
| 04 | Verifikation von Schleifen (pdf, doc) | Do,18.06.09 | Do, 25.06.09 | |
| 05 | Rekursive Prozeduren (pdf, doc) | Mi, 01.07.09 | Do, 09.07.09 |