Diskrete Modellierung (Winter 2020/21)
Aktuelles
- Zur Teilnahme an der Veranstaltung ist eine Einschreibung in den OLAT-Kurs Diskrete Modellierung erforderlich (nutzen Sie zum Login Ihren HRZ-Account). Dort finden Sie später unter anderem Zugangsdaten für geschützte Teile dieser Seite.
- Am Dienstag, den 03.11.2020, 12:30 - 14:00 Uhr wird es ein erstes virtuelles Organisationstreffen mit dem Videokonferenzsystem Zoom geben. Die erforderlichen Zugangsdaten werden kurz vor Beginn hier bekannt gegeben. Für die Teilnahme wird die Installation von Zoom empfohlen.
- Für die Teilnahme am (virtuellen) Übungsbetrieb ist eine Anmeldung erforderlich (nutzen Sie zum Login Ihren HRZ-Account). Diese ist ab 26.10.2020 geöffnet. Anmeldeschluss ist am 04.11.2020 um 23:55 Uhr. Wählen Sie bitte drei Übungstermine (Erst-, Zweit- und Drittwahl), an denen Sie teilnehmen können. Bis spätestens 09.11.2020 erhalten Sie eine E-Mail mit der Ihnen zugeteilten Übungsgruppe und einem Link, mit dem Sie über das gesamte Semester ihre Übungen abgeben können. Die E-Mail wird an ihre HRZ-Mailadresse (...@stud.uni-frankfurt.de) verschickt. Stellen Sie also sicher, dass Sie diese Mails auch lesen können!
- Die Tutorien finden ab der zweiten Vorlesungswoche virtuell statt (Videokonferenzen in Zoom).
- Als Vorlesung werden bearbeitete Videoaufzeichnungen aus vorherigen Jahren regelmäßig auf der Webseite veröffentlicht. Zusätzlich wird wöchentlich eine Videosession für weitere Übungen und Fragen angeboten. Diese wird ebenfalls aufgezeichnet und unter Videoaufzeichnungen zur Verfügung gestellt.
- Fragen zur Vorlesung schreiben Sie bitte an dismod20 [AT] cs.uni-frankf...
- Im Logbuch finden Sie Informationen zum Inhalt einzelner Vorlesungen.
Organisatorisches
- Dozent: Prof. Dr. Martin Hoefer
- Übungsbetrieb: Marco Schmalhofer, Daniel Schmand
- Vorlesung: Videos
- Fragestunde: Donnerstag, 8:15 - 9:45 Uhr, ab 12.11.2020 (Videosession in Zoom)
- Eintrag im LSF
- Hauptklausur: Donnerstag, 18.02.2021
- Zweitklausur: Donnerstag, 01.04.2021
Der Übungsbetrieb folgt einem wöchentlichen Rhythmus. Blatt 1 wird in Woche 1 ausgegeben, in Woche 2 abgegeben und in Woche 3 in den Tutorien besprochen. Die weiteren Blätter folgen ebenfalls diesem Rhythmus (Blatt i: Ausgabe in Woche i, Abgabe in Woche i+1, Besprechung in Woche i+2). Abgabeschluss ist jeweils Donnerstag, 8:00 Uhr. Verspätete Abgaben werden nicht angenommen!. Die Abgabe erfolgt elektronisch in Form einer einzigen PDF-Datei. Hierfür erhalten Sie nach Zuteilung zu einer Übungsgruppe einen Abgabe-Link, der im gesamten Semester gültig ist. Sie können Ihre Abgabe 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! 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!
Betrugsversuche:
Es wird empfohlen, in Gruppen (virtuell) ü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 verlangen, dass Sie eine Lösung vorrechnen. Wenn Sie in diesem Fall im Tutorium nicht anwesend sind, kann der Tutor die Punkte vom Übungsblatt aberkennen.
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.
- [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. Lovász, J. Pelikan und K. Vesztergombi. Discrete Mathematics. Elementary and Beyond. Springer, 2003.
- [F-Thi2] D. D. Freydenberger. Skript zur Vorlesung "Theoretische Informatik 2". Goethe-Universität Frankfurt am Main, 2014.
- [Zit] Fachbereich Informatik und Mathematik. Goethe-Universität Frankfurt. Hinweise zum Zitieren in schriftlichen Arbeiten im Institut für Informatik
- [S] U. Schöning. Logik für Informatiker. Springer, 2000.
Material
Videos
Hier
verfügbar. Videos werden im Verlauf des
Semesters regelmäßig veröffentlicht. Die Videos
wurden aufgenommen im Rahmen der Veranstaltung von Prof. Dr. Schnitger im Winter 19/20.
Die Veranstaltung folgt inhaltich den Ausgaben in den letzten Wintersemestern.
Videos dazu: Winter 18/19, Winter 17/18, Winter 16/17.
Vorlesungsfolien
Demnächst hier verfügbar.
Skript
Die Vorlesung orientiert sich am Skript von Prof. Dr. Schnitger.
Übungsblätter
Werden wöchentlich hier veröffentlicht. Blatt 0 (Präsenzübung) und Blatt 1 erscheinen am Donnerstag, 04.11.2020.
Übungen
Das Lösen von Übungsaufgaben und das Besuchen Ihres (virtuellen) Tutoriums ist freiwillig und sehr zu empfehlen. Es werden weiterführende Inhalte vermittelt, und es besteht die Möglichkeit, Bonuspunkte zu sammeln. Leider kam es dabei in der Vergangenheit immer wieder zu Täuschungsversuchen. Wir bitten Sie davon Abstand zu nehmen - es lohnt sich nicht!
-
Organisatorisches: