Mitarbeiter
Übungen zur Anwendungsvorlesung der Diskreten Mathematik im WS 2012/13
Die Übung findet im Wechsel mit der Vorlesung statt.
Die Übungstermine sind: Fr, 09:30 Uhr - 10:45 Uhr, HS 6, 26.10., 09.11., 23.11., 07.12., 21.12., 18.01.
Newsgroup: fhw.dm (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
Die Tutorien und Termine stehen unten. Die Tutorien starten ab dem 30.10. Sie finden zweiwöchentlich statt.
Der Termin 25.01. ist bereits außerhalb der Vorlesungszeit und findet nach Absprache unter Umständen zu einem anderen Zeitpunkt statt (wird hier noch bekanntgegeben).
Die Tutoren sind unter ihrer FH-e-mail-Adresse erreichbar, die sich aus der Matrikelnummer ergibt: Willi Schinmeyer (inf9767), Patrick König (minf8908)
Termine | Raum | Tutor |
|---|---|---|
Di, 12:30 Mi, 14:00 Do, 09:30 Do, 14:00 Fr, 12:30 | HS 4 SR 1 SR 2 SR 1 HS 4 | Willi Willi Patrick Patrick Willi |
| Fr, 15:30 02.11., 16.11., 30.11., 14.12., 11.01., 25.01. | HS 4 | Willi |
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 18.10. | 26.10. | |
| 02 | Prädikatenlogik (doc, pdf) | 01.11. | 09.11. | |
| 03 | Prädikatenlogik,Bedingungsketten, Hoare-Tripel (doc, pdf) | 16.11. | 23.11. | |
| 04 | 29.11. | 07.12. | ||
| 05 | Verifikation von Schleifen (doc, pdf) | 12.12. | 21.12. | Aktualisierung am 14.12: |
| 06 | Verifikation von rekursiven Prozeduren (doc, pdf) | 10.01. | 18.01. |