Mitarbeiter
Übungen zur Anwendungsvorlesung der Diskreten Mathematik im WS 2013 / 2014
Die Übung findet im Wechsel mit der Vorlesung statt.
Die Übungstermine sind: Do, 14:00 - 15:15 Uhr, HS 6, 24.10., 07.11., 21.11., 12.12., 09.01., 23.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 28.10. Sie finden zweiwöchentlich statt, und zwar am nächstmöglichen Termin nach der Übung am Donnerstag (Ausnahme: 2. Termin desselben Tutors, der eine Woche später ist).
Die Tutorin und der Tutor sind unter ihrer FH-e-mail-Adresse erreichbar, die sich aus der Matrikelnummer ergibt:
1) Soraya Baydoun (winf100459)
2) Nils van Kan (winf100041)
Termine | Raum |
|---|---|
| 1) Mo 12:30 Nils (04.11., 11.11., 25.11., 16.12., 13.01.) | HS 1 |
| 2) Mo 14:00 Nils (28.10., 11.11., 25.11., 16.12., 13.01.) | SR 8 |
| 3) Mo 14:00 Nils (04.11., 18.11., 02.12., 06.01., 20.01.) | SR 8 |
| 4) Di 14:00 Soraya (29.10., 12.11., 26.11., 17.12., 14.01.) | SR 1 |
| 5) Di 14:00 Soraya (05.11., 19.11., 03.12., 07.01., 21.01.) | SR 1 |
| 6) Do 12:30 Soraya (31.10., 14.11., 28.11., 19.12., 16.01.) | HS 4 |
Abschlusstermine für die Besprechung der 6. Übung und Klausurvorbereitung:
1) Di, 28.01., 10:00 Uhr Soraya, HS 4
2) Mi, 05.02., 13:00 Uhr Nils, HS 4
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 17.10. | 24.10. | |
| 02 | Prädikatenlogik (doc, pdf) | 31.10. | 07.11. | Korrektur des Tafelbildes vom 31.10. |
| 03 | Prädikatenlogik,Bedingungsketten, Hoare-Tripel (doc, pdf) | 12.11. | 21.11. | |
| 04 | 27.11. | 12.12. | ||
| 05 | Verifikation von Schleifen (doc, pdf) | 18.12. | 09.01. |
|
| 06 | Verifikation von rekursiven Prozeduren (doc, pdf) | 16.01. | 23.01. |