Mitarbeiter
Übungen zur Anwendungsvorlesung der Diskreten Mathematik im SS 2014
Die Übung findet im Wechsel mit der Vorlesung statt.
Die Übungstermine finden im Wechsel mit der Vorlesung alle 14 Tage statt:
17.04., 08.05., 22.05., 12.06., 26.06., 10.07.
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 22.04. Sie finden zweiwöchentlich statt.
Die Tutoren sind unter ihrer FH-e-mail-Adresse erreichbar, die sich aus der Matrikelnummer ergibt:
1) Torben Mentz (minf8991)
2) Jeffrey Ungelenk (minf9666)
Termine | Raum |
|---|---|
1) Torben, Di 12:30,
| SR 2 |
2) Jeffrey, Di 12:30, | SR 8 |
Der letzte Termin findet in den Klausurvorbereitungswochen statt (ab 04.08.) und dient nicht nur der Besprechung der letzten Übung (Anwendungs- und Grundvorlesung), sondern auch der allgemeinen Klausurvorbereitung. Er wird hier rechtzeitig bekannt gegeben.
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 09.04. | 17.04. | |
| 02 | Prädikatenlogik (doc, pdf) | 23.04. | 08.05. | |
| 03 | Prädikatenlogik,Bedingungsketten, Hoare-Tripel (doc, pdf) | 14.05. | 22.05. | Lösung zu Aufgabe 4 |
| 04 | 05.06. | 12.06. | ||
| 05 | Verifikation von Verzweigungen und Schleifen (doc, pdf) | 19.06. | 26.06. |
|
| 06 | Verifikation von Schleifen und rekursiven Prozeduren (doc, pdf) | 01.07. | 10.07. |