Diskrete Modellierung (Winter 2023/24)

Aktuelles

• Im Logbuch finden Sie weitere Informationen zum Inhalt einzelner Vorlesungseinheiten.

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, Hörsaalgebäude - H V
• Eintrag im LSF


• Hauptklausur: Donnerstag, 15.02.2024, 14:00 - 16:00 Uhr.
• Zweitklausur: Freitag, 22.03.2024, 14:00 - 16: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	06.12.2023	12-14
Bäume	Handout	07.12.2023	14-16
Markov-Ketten	Handout	05.12.2023	16-19
Endliche Automaten	Handout Folien	25.01.2024	19-25
Kontextfreie Grammatiken	Handout	30.01.2024	25-26

Folien mit Wiederholungsfragen:

• Mengen und Funktionen
• Aussagenlogik
• Beweise
• Graphen und Bäume
• Markov-Ketten
• Endliche Automaten

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.
• 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.
• Blatt 6. Ausgabe: 04.12.2023. Abgabe bis 11.12.2023, 23:55 Uhr.
• Blatt 7. Ausgabe: 11.12.2023. Abgabe bis 18.12.2023, 23:55 Uhr.
• Blatt 8. Ausgabe: 18.12.2023. Abgabe bis 08.01.2024, 23:55 Uhr.
• Blatt 9. Ausgabe: 08.01.2024. Abgabe bis 15.01.2024, 23:55 Uhr.
• Blatt 10. Ausgabe: 15.01.2024. Abgabe bis 22.01.2024, 23:55 Uhr.
• Blatt 11. Ausgabe: 22.01.2024. Abgabe bis 29.01.2024, 23:55 Uhr.
• Blatt 12 (Beispiellösung). Keine Abgabe, Besprechung am 06.02. in der Vorlesung.

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.

Ü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.