Mitarbeiter
Übungen zur Anwendungsvorlesung der Diskreten Mathematik im SS 2013
Die Übung findet im Wechsel mit der Vorlesung statt.
Die Übungstermine sind: Mi, 14:00 Uhr - 15:15 Uhr, HS 5, 17.04., 08.05., 22.05., 05.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 23.04. Sie finden zweiwöchentlich statt.
Der Tutor ist unter seiner FH-e-mail-Adresse erreichbar, die sich aus der Matrikelnummer ergibt:
1) Julian Rose (inf100333)
2) Jonas Hübner (winf100033).
Termine | Raum |
|---|---|
| 1) Di 08:00 - 09:15 (23.04., 14.05., 28.05., 11.06., 02.07.)
| SR2 |
| 2) Mi 12:30 - 13:45 (24.04., 15.05., 29.05., 12.06., 03.07.) | SR7 |
Der letzte Termin findet in der Woche vor der Klausur statt und dient nicht nur der Besprechung der letzten Übung (Anwendungs- und Grundvorlesung), sondern auch der allgemeinen Klausurvorbereitung:
1) Mo 05.08., 11 Uhr, HS 3
2) Do 08.08., 11 Uhr, HS 3
Übungsblätter
Nr | Themen | Download | Abgabe/ | Anmerkungen |
|---|---|---|---|---|
| 01 | Aussagenlogik (doc, pdf) | 09.04. | 17.04. | |
| 02 | Prädikatenlogik (doc, pdf) | 24.04. | 08.05. | |
| 03 | Prädikatenlogik,Bedingungsketten, Hoare-Tripel (doc, pdf) | 14.05. | 22.05. | Lösung von Aufgabe 4 |
| 04 | 29.05. | 05.06. | ||
| 05 | Verifikation von Verzweigungen und Schleifen (doc, pdf) | 11.06. | 26.06. |
|
| 06 | Verifikation von Schleifen und rekursiven Prozeduren (doc, pdf) | 02.07. | 10.07. |