Diskrete Modellierung (Winter 2023/24)
Aktuelles
- Im Logbuch finden Sie weitere Informationen zum Inhalt einzelner Vorlesungseinheiten.
- For international students, the learning center provides an additional exercise session (Fridays, 15:00-17:00, SR11) in English (and German).
- Blatt 5 ist jetzt online. Abgabe bis 04.12.2023, 23:55 Uhr.
- Blatt 4 wird in der Woche 04.12. - 08.12. in den Tutorien besprochen.
- Raumänderung: Übungsgruppe 04 (Di. 10-12 Uhr) trifft sich ab sofort in H 3.
- [Werbung:] Advent of Code ab 01.12. -- ein interessantes Programmierpuzzle pro Tag!
Organisatorisches
- Dozent: Prof. Dr. Martin Hoefer
- Übungsbetrieb: Tim Koglin, Conrad Schecker
- Kontakt für Fragen und Anmerkungen: dismod23 [AT] cs.uni-frankfurt.de
- Vorlesung: Dienstag + Donnerstag, jeweils 14:15 - 15:45 Uhr, Jügelhaus - H V
- Eintrag im LSF
- Hauptklausur: Donnerstag, 15.02.2024, 9:00 - 11:00 Uhr.
- Zweitklausur: Freitag, 22.03.2024, 09:00 - 11:00 Uhr.
- Als erlaubtes Hilfsmittel für die Klausuren wird ein beidseitig handbeschriebenes DIN-A4-Blatt zugelassen.
Material
Videos
Die Vorlesung wird von studiumdigitale im Hörsaal aufgezeichnet und auf der Mediasite beim HRZ veröffentlicht.
Die Videos finden Sie hier (Zugriff mit HRZ-Account).
Vorlesungsfolien
| Kapitel | Stand | Vorlesungen | |
|---|---|---|---|
| Einführung | Handout | 17.10.2023 | 01 |
| Mathematische Grundlagen | Handout | 15.10.2023 | 01-04 |
| Aussagenlogik | Handout | 25.10.2023 | 05-09 |
| Beweise | Handout | 14.11.2023 | 09-11 |
| Graphen | Handout | 17.11.2023 | 12-13 |
| Bäume | Handout | 27.11.2023 | 14-15 |
Folien mit Wiederholungsfragen:
Skript
Die Vorlesung orientiert sich am Skript von Prof. Dr. Schnitger.
Übungsblätter
- Blatt 0 (Präsenzübung), Besprechung 30.10. - 03.11.
- Blatt 1. Ausgabe: 23.10.2023. Abgabe bis 30.10.2023, 23:55 Uhr.
- Blatt 2. Ausgabe: 30.10.2023. Abgabe bis 06.11.2023, 23:55 Uhr. (Update: 02.11., 09:30 Uhr. 2.2 a) ii): 'f_2' statt 'f_1')
- Blatt 3. Ausgabe: 06.11.2023. Abgabe bis 13.11.2023, 23:55 Uhr.
- Blatt 4. Ausgabe: 13.11.2023. Abgabe bis 20.11.2023, 23:55 Uhr.
- Blatt 5. Ausgabe: 20.11.2023. Abgabe bis 04.12.2023, 23:55 Uhr.
Tutorien
Die Zuteilung zu den einzelnen Übungsgruppen ist abgeschlossen. Sie können das Ergebnis im AUGE abrufen. Hier finden Sie Informationen über Zeit und Ort der einzelnen Tutorien. Die Informationen im QIS/LSF bezüglich der Übungsgruppen sind nicht gültig.
Die Tutorien montags bis donnerstags finden in Präsenz statt, die Termine am Freitag online. Wenn Sie einem Online-Tutorium zugeteilt wurden, haben Sie die Zugangsinformationen per E-Mail an ihre HRZ-Mailadresse (...@stud.uni-frankfurt.de) erhalten.
| Nr. | Zeit | Raum | Leitung |
|---|---|---|---|
| 01 | Mo. 12-14 Uhr | NM 112 | Patrick-Raphael Melnic |
| 02 | Mo. 14-16 Uhr | NM 112 | Zeno Adrian Weil |
| 03 | Di. 08-10 Uhr | NM 112 | Anastasia Navodkina |
| 04 | Di. 10-12 Uhr | H 3 | Anastasia Navodkina |
| 05 | Di. 12-14 Uhr | NM 112 | Viktor Rieß |
| 06 | Di. 16-18 Uhr | NM 112 | Boris Senatov |
| 07 | Mi. 10-12 Uhr | NM 112 | Margareta Scheffer |
| 08 | Mi. 12-14 Uhr | NM 112 | Amelia Linek |
| 09 | Do. 12-14 Uhr | H 6 | Paul Dallwig |
| 10 | Do. 10-12 Uhr | NM 112 | Anton Micke |
| 11 | Do. 12-14 Uhr | NM 112 | Sebastian Beckmann |
| 12 | Do. 16-18 Uhr | NM 112 | Hoai Vy Nguyen |
| 13 | Fr. 12-14 Uhr | Online | Emmanuela Georgoula |
| 14 | Fr. 12-14 Uhr | Online | Benjamin Raabe |
| 15 | Di. 10-12 Uhr | H 8 | Magdalena Heeg |
| 16 | Di. 12-14 Uhr | H 5 | Gerome Stiller |
Übungsbetrieb
Der Übungsbetrieb läuft begleitend zur Vorlesung ab. Im wöchentlichen Rhythmus werden Übungsblätter veröffentlicht, die zur Bewertung abgegeben werden können und anschließend in den Tutorien (Übungsgruppen) besprochen werden.
Die Übungen dienen der Wiederholung, Vertiefung sowie Erweiterung des Lernstoffes. Das Lösen von Übungsaufgaben sowie die Teilnahme an Ihrem Tutorium sind daher sehr zu empfehlen, jedoch keine Voraussetzung zur Teilnahme an den Klausuren. Es besteht die Möglichkeit, durch erfolgreiche Bearbeitung der Übungsaufgaben bis zu 10% Klausurbonus zu sammeln.
Darüber hinaus bietet das Ingo Wegener-Lernzentrum fachliche Beratung zu den Lerninhalten der Basismodule des Bachelor Informatik an.
Organisatorisches:
- Der Übungsbetrieb folgt einem wöchentlichen Rhythmus. Blatt 0 ist ein Präsenzblatt und wird in den ersten Tutorien in Woche 3 (KW 44) besprochen; eine Abgabe von Blatt 0 entfällt. Blatt 1 wird in Woche 2 (KW 43) ausgegeben, in Woche 3 abgegeben und in Woche 4 (KW 45) in den Tutorien besprochen. Die weiteren Blätter folgen ebenfalls diesem Rhythmus (Blatt i: Ausgabe in Woche i+1, Abgabe in Woche i+2, Besprechung in Woche i+3).
- Abgabeschluss ist jeweils Montag, 23:55 Uhr.Verspätete Abgaben werden nicht angenommen!
- Die Abgabe erfolgt elektronisch über das SAP in Form einer einzigen PDF-Datei mit höchstens 10MB. Nutzen Sie dafür den persönlichen Abgabe-Link, den Sie per E-Mail erhalten haben, nachdem Sie einer Übungsgruppe zugewiesen wurden. Dieser Link ist das gesamte Semester lang gültig.
- Wichtig: Laden Sie Ihre Abgabe nicht in letzter Minute hoch! Ein reibungsloser Ablauf kann nicht garantiert werden, wenn alle in den letzten fünf Minuten hochladen! Wenn Sie bis zur Abgabefrist mehrere Dateien hochgeladen haben, wird nur die zuletzt abgegebene korrigiert. Nutzen Sie dies bei erstmaliger Benutzung für einen rechtzeitigen Test (ggf. mit einer vorläufigen Version Ihrer Lösung). Stellen Sie sicher, dass Sie die korrekte Datei hochgeladen haben.
- Sie können Ihre Abgabe gerne in LaTeX setzen oder handschriftlich ausführen und einscannen (Scan-Apps wie z.B. Open Note Scanner helfen Ihnen dabei). Schwer lesbare Abgaben werden nicht korrigiert!
Hinweis zur Bearbeitung der Aufgaben:
- Lösungen müssen stets begründet werden, es sei denn, die Aufgabenstellung besagt explizit, dass eine Begründung nicht nötig ist.
- Die Aufgaben sind grundsätzlich ohne zusätzliche Tipps oder Hilfestellungen lösbar. Sollten zusätzliche Informationen nötig sein, wird es einen schriftlichen Hinweis bei der jeweiligen Aufgabe geben.
- Notationen, die nicht aus der Vorlesung, den Folien oder dem Skript bekannt sind, sollten vermieden oder zumindest einheitlich verwendet werden.
- Achten Sie darauf, dass Sie jede Frage nur einmal beantworten. Sollten Sie zu einer Aufgabenstellung mehrere konkurrierende Lösungen abgeben, dann gilt die Aufgabe als nicht bearbeitet.
- Bei der Bewertung einer Lösung können neben Korrektheit und Vollständigkeit auch Verständlichkeit und Prägnanz eine Rolle spielen.
Betrugsversuche:
- Es wird empfohlen, in Gruppen über die Aufgaben zu diskutieren und zusammen Lösungswege zu erarbeiten. Bitte schreiben Sie die Lösung trotzdem eigenständig auf und machen Sie erkennbar, dass Sie den Lösungsweg verstanden haben. Im Zweifelsfall kann der Tutor bzw. die Tutorin verlangen, dass Sie eine Lösung vorrechnen, um dies zu überprüfen. Wenn Sie in diesem Fall im Tutorium nicht anwesend sind, können die für das Übungsblatt erhaltenen Punkte aberkannt werden.
- Wenn festgestellt wird, dass die Lösung einer Aufgabe abgeschrieben wurde, dann...
- ... gibt es beim ersten Mal in jedem Fall für alle Beteiligten 0 Punkte auf die gesamte Abgabe.
- ... wird beim zweiten Mal allen Beteiligten die Bonifikation für Erst- und die Zweitklausur aberkannt.
- Die Inhalte der Vorlesung, der Folien, der Übungsblätter und des Skripts reichen für die Bearbeitung der Aufgaben stets aus. Sollte Ihre Lösung dennoch Inhalte von externen Quellen enthalten, beachten Sie bitte die Hinweise zum Zitieren in schriftlichen Arbeiten am Institut für Informatik. Machen Sie beim Zitieren insbesondere erkennbar, was Ihre eigene Leistung ist, denn nur diese wird bewertet.
Klausurbonus:
- Ihr Bonus für die Klausur berechnet sich wie folgt: Bonus = 10 * min { 1, Summe aller erreichten Punkte / Summe aller Punkte ohne Extrapunkte } (kaufmännisch gerundet auf eine ganze Zahl).
- Beachten Sie, dass Ihnen Ihr Bonus erst angerechnet wird, wenn Sie bis zur Klausur im Tutorium mindestens einmal vorgerechnet und die Klausur bestanden haben!
Empfohlene Literatur
- [B] A. Beutelspacher. "Das ist o.B.d.A. trivial!" Tipps und Tricks zur Formulierung mathematischer Gedanken. Vieweg Studium.
- [G] D. Grieser. Mathematisches Problemlösen und Beweisen. Springer Verlag, 2013.
- [J] S. Jukna. Crashkurs Mathematik für Informatiker. Teubner, 2008.
- [KKB] U. Kastens und H. Kleine Büning. Modellierung. Grundlagen und formale Methoden. Hanser, 2005
- [LPV] L. Lovasz, J. Pelikan und K. Vesztergombi. Discrete Mathematics. Elementary and Beyond. Springer, 2003.
- [S] U. Schöning. Logik für Informatiker. Springer, 2000.