Mitarbeiter
Allgemeines
Die Übung findet im Wechsel mit der Vorlesung Do 14:00 - 15:15 in HS6 statt. Die Übunstermine sind: 23.10., 06.11., 27.11., 18.12., 15.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.
Beginn der Tutorien: ab 28.10.2008
Termin | Tutor | Raum | Abschlusstermin | |
|---|---|---|---|---|
| Di, 12:30 - 13:45 | Philipp Führer | minf6172 | HS3 | 04.02.2009, 12:30 |
| Do, 12:30 - 13:45 | Nils Holthues | minf6231 | HS6 (geändert!) | 05.02.2009, 14:00 |
Übungszettel
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Kontrollstrukturen, Aussagenlogik [pdf, doc] | Mi, 15.10.08 | Do, 23.10.08 | |
| 02 | Prädikatenlogik [pdf, doc] | Mi, 29.10.08 | Do, 06.11.08 | |
| 03 | Hoare-Tripel, Verifikation [pdf, doc] | Do, 20.11.08 | Do, 27.11.08 / Do, 11.12.08 | Die letzten beiden Aufgaben werden erst am 11.12.08 besprochen. Sie brauchen erst dann abgegeben werden. |
| 04 | Verifikation von Schleifen [pdf, doc] | Mi, 10.12.08 | Do, 18.12.08 | |
| 05 | Rekursive Prozeduren [pdf, doc] | Mi, 07.01.09 | Do, 15.01.09 | Lösung von Aufgabe 3 iii) |