Auf den Übungsblättern stehen wieder Punkte für die Aufgaben. Diese sollen zur Orientierung dienen um der Korrektur leichter entnehmen zu können wie kritisch Fehler einzuordnen sind.

Es gibt weiterhin keine Bonuspunkte.

Wir wollen allerdings nochmal dazu Aufrufen die Übungsaufgaben zu bearbeiten. Sie sind ein wichtiger Teil des Lernprozesses und dienen auch zur vorbereitung auf die Klausur.

Zugangsdaten zu Inhalten auf dieser Webseite und Links zu den Onlineveranstaltungen finden Sie im Moodle.

Wichtig: Aktuelle Infos zur Vorlesung finden Sie weiterhin nur hier und wir sind nicht über Moodle erreichbar.

Diskrete Modellierung (WS 2024/2025)

Vorlesung

Prof. Dr. Ulrich Meyer

Dienstag 14:00 - 16:00 in Hörsaal H VI (Bockenheim)
Donnerstag 14:00 - 16:00 in Hörsaal H V (Bockenheim)

Alle anderen Termine werden rechtzeitig hier angekündigt.

LSF

Übungsbetrieb

Alex Schickedanz
Alexander Leonhardt

Organisatorische Fragen rund um die Vorlesung senden Sie bitte an dismod24@ae.cs.uni-frankfurt.de.

Hinweis: In der Vergangenheit kam es immer wieder zu Zustellungsproblemen bei externen E-Mail Providern. Wenn Sie eine Antwort auf Ihre E-Mail erwarten, verwenden Sie bitte Ihre Uni-Mailadresse.

Fragen zu Vorlesungsinhalten oder Übungsaufgaben stellen Sie bitte in den Tutorien oder beim Lernzentrum.

Das Lösen von Übungsaufgaben geschieht auf freiwilliger Basis. Dennoch ist die Teilnahme am Übungsbetrieb unbedingt zu empfehlen. Es werden weiterführende Inhalte vermittelt und Sie können Ihren Lernfortschritt überprüfen. Eine Beobachtung unsererseits ist: Eine regelmäßige und selbständige Bearbeitung der Übungsaufgaben erhöht die Wahrscheinlichkeit die Klausur zu bestehen und eine gute Note zu erhalten.

Es gibt wöchentlich Übungsblätter. Die Abgabe der Lösungen erfolgt ausschließlich über unseren Online-Briefkasten. Den genauen Ablauf erfahren Sie rechtzeitig hier auf der Webseite.

Termine der Übungsgruppen

GruppeWochentagZeitRaum
Gruppe 1Mo10 - 12NM 114
Gruppe 2Mo12 - 14NM 114
Gruppe 3Mo18 - 20online
Gruppe 4Di8 - 10NM 114
Gruppe 5Di10 - 12NM 114
Gruppe 6Di12 - 14NM 114
Gruppe 7Mi10 - 12H 7
Gruppe 8Mi12 - 14H 6
Gruppe 9Mi14 - 16H 6
Gruppe 10Mi16 - 18NM 114
Gruppe 11Do8 - 10SR 307
Gruppe 12Do10 - 12NM 114
Gruppe 13Do12 - 14H 1
Gruppe 14Do16 - 18NM 114
Gruppe 15Fr10 - 12H 1
Gruppe 16Fr12 - 14H 13
Gruppe 17Fr14 - 16H 13

Hinweise zu den Übungsabgaben

  • Wie immer gilt: Was unsere Tutoren nicht lesen können, müssen sie auch nicht korrigieren.
  • Da es eine online Abgabe gibt, ist eine Abgabe per E-Mail nicht vorgesehen.

Onlineabgabe:

  • Die Abgabe wird Ihnen automatisch zugeordnet. Es schadet jedoch nicht Matrikelnummer und Namen darauf zu vermerken.
  • Laden Sie Ihre Lösung nicht in der letzten Minute hoch. Wir können den reibungslosen Ablauf nicht garantieren, wenn alle in den 5 Minuten vor Schluss abgeben wollen.
  • Wir nehmen Lösungen nur als eine PDF-Datei entgegen mit maximal 10 MB. Bitte stellen Sie sich darauf ein und testen Sie vorher.
    • Sie können Scans oder Bilder zu einer PDF zusammenfügen. Wenn Sie dafür ein Smartphone verwenden, nutzen Sie eine Scannerapp Ihres Vertrauens. Damit lassen sich Ränder wegschneiden und Seiten gerade ziehen.
    • Verwenden Sie eine angemessene Bildauflösung. Für Dokumente ist normalerweise nicht die höchst mögliche Auflösung nötig.

Vorrechnen:

  • In der Besprechung in den Übungen bieten wir Ihnen an die Lösungen Ihrer Aufgaben zu präsentieren. So üben Sie Ihren Gedankengang schlüssig darzulegen und frei zu sprechen. Dies kommt Ihnen dann in den folgenden Semestern z.B. in einem Seminar (voraussichtlich 4. bis 6. Semester) oder Ihrem Abschlussvortrag (voraussichtlich 6. Semester) zugute.
  • Wir akzeptieren nur hochwertige Lösungen zur Präsentation, die Entscheidung liegt im Ermessen Ihres Tutors / Ihrer Tutorin. Bitte beachten Sie, dass wir versuchen möglichst viele verschiedene Studierende vorrechnen zu lassen.

Plagiate und KI-Lösungen:

  • Wir empfehlen dringend die Aufgaben selbstständig zu lösen und keine Lösungen online zu suchen oder von einer KI erstellen zu lassen. Das gilt insbesondere auch für “Lösungsansätze”. Sie vergeuden damit die Chance selbstständig Lösungswege zu finden. Eine Fähigkeit, die immer wieder benötigt wird und geübt werden muss.
  • Die Zeit unserer Tutoren ist kostbar und sollten Lösungen offensichtlich abgeschrieben oder von einer KI erstellt worden sein, steht es unseren Tutoren frei kein Feedback zu geben.

Hinweise zu den Korrekturen

Sie sollen anhand der Übungsaufgaben den Stoff der Vorlesung besser verstehen. Ein wichtiger Teil davon sind die Kommentare der Tutoren auf den korrigierten Abgaben.

Inhalte

In der Informatik wird das Modellieren mittels diskreter Strukturen als typische Arbeitsmethode in vielen Bereichen angewandt. Es dient der präzisen Beschreibung von Problemen durch spezielle Modelle und ist damit Voraussetzung für die Lösung eines Problems bzw. ermöglicht oft einen systematischen Entwurf. In den verschiedenen Gebieten der Informatik werden unterschiedliche, jeweils an die Art der Probleme und Aufgaben angepasste, Modellierungsmethoden verwendet. Innerhalb der Veranstaltung sollen zunächst die grundlegenden Begriffe wie z.B. ‚Modell‘ und ‘Modellierung‘, geklärt werden. Anschließend werden verschiedene Ausdrucksmittel der Modellierung untersucht: Grundlegende Kalküle wie der Kalkül der Mengen, die Aussagen- und Prädikatenlogik, Graphen, endliche Automaten, Markov-Ketten, kontextfreie Grammatiken.

Lernergebnisse / Kompetenzziele

Wissen und Verstehen: Kenntnis der grundlegenden Modellierungsmethoden und Beherrschen der entsprechenden Techniken.

Können: Die Studierenden erlernen die Fähigkeit zur präzisen und formalen Ausdrucksweise bei der Analyse von Problemen (systemische Kompetenz). Modellierungskonzepte wie etwa der Kalkül der Mengen, Aussagen- und Prädikatenlogik, Graphen, Markov-Ketten, endliche Automaten, kontextfreie Grammatiken sollen als Werkzeuge der Modellierung auch in ihren Anwendungsmöglichkeiten verstanden werden (instrumentale Kompetenz). Kommunikative Kompetenzen werden durch Arbeiten in Gruppen-Übungen und die dortige Vorstellung und Diskussion von Übungsaufgaben erworben.

Literatur

  • A. Beutelspacher. “Das ist o.B.d.A. trivial!” Tipps und Tricks zur Formulierung mathematischer Gedanken. Vieweg Studium.
  • D. Grieser. Mathematisches Problemlösen und Beweisen. Springer Verlag, 2013.
  • S. Jukna. Crashkurs Mathematik für Informatiker. Teubner, 2008.
  • U. Kastens und H. Kleine Büning. Modellierung. Grundlagen und formale Methoden. Hanser, 2005
  • L. Lovász, J. Pelikan und K. Vesztergombi. Discrete Mathematics. Elementary and Beyond. Springer, 2003.
  • U. Schöning. Logik für Informatiker. Springer, 2000.

Klausur

Die Klausuren finden voraussichtlich an folgenden Terminen statt:

Hauptklausur: 27.02.2025 9:00

Zweitklausur: 28.03.2025 9:00

Bitte beachten Sie die An- und Abmeldefristen.

Details zum genauen Ablauf werden rechtzeitig bekannt gegeben.

Die Klausur ist bestanden, wenn mindestens 50% aller erreichbaren Punkte erzielt wurden.

Materialien

Folien

Kapitel StandVorlesungen
EinführungHandout14.10.202401
Mathematische GrundlagenHandout14.10.202401, 02, 03, 04, 05
AussagenlogikHandout22.10.202405, 06, 07, 08, 09
BeweiseHandout13.11.202410, 11, 12
GraphenHandout26.11.202413, 14, 15
BäumeHandout05.12.2024 

Logbuch

V17 (10.12.2024) Bäume

Gewurzelte Bäume, Kontentypen, Baumeigenschaften, Binärbäume, Binärsuche

Materialien und weitere Lektüre:

V16 (05.12.2024) Bäume

Bäume und Wälder, (minimale) Spannbäume

Materialien und weitere Lektüre:

V15 (03.12.2024) Graphen

Hamiltonkreise, Färbungsproblem und Isomorphie

Materialien und weitere Lektüre:

V14 (28.11.2024) Graphen

Pfade und Wege in Graphen, Zusammenhangskomponenten und das Matching Problem

Materialien und weitere Lektüre:

V13 (26.11.2024) Beweise, Graphen

Vollständige Induktion, rekursive Programme, ungerichtete und gerichtete Graphen

Materialien und weitere Lektüre:

V12 (21.11.2024) Beweise

Vollständige Induktion, geometrische Reihe und rekursiv definierte Funktionen

Materialien und weitere Lektüre:

V11 (19.11.2024) Beweise

Direkte und indirekte Beweise

Materialien und weitere Lektüre:

V10 (14.11.2024) Aussagenlogik, Beweise

Resolution, Beweise

Materialien und weitere Lektüre:

V09 (12.11.2024) Aussagenlogik

DNF, KNF, Modellieren, SAT

Materialien und weitere Lektüre:

V08 (07.11.2024) Aussagenlogik

SymPy, Fundamentale Äquivalenzen, DNF

Materialien und weitere Lektüre:

V07 (05.11.2024) Aussagenlogik

Wahrheitstafeln, Semantische Folgerungen und Äquivalenz, Aussagenlogik in Python

Materialien und weitere Lektüre:

V06 (31.10.2024) Aussagenlogik

Wahrheitstafeln, Belegungen, Junktoren

Materialien und weitere Lektüre:

V05 (29.10.2024) Mathematische Grundlagen + Aussagenlogik

Abbildungen, Notation, Logik.

Materialien und weitere Lektüre:

V04 (24.10.2024) Mathematische Grundlagen

Mengen, Tupel, Abbildungen.

Materialien und weitere Lektüre:

V03 (22.10.2024) Mathematische Grundlagen

Mengen, Tupel, Abbildungen.

Materialien und weitere Lektüre:

V02 (17.10.2024) Mathematische Grundlagen

Modellieren und rechnen mit Mengen.

Materialien und weitere Lektüre:

V01 (15.10.2024) Organisatorisches und mathematische Grundlagen

Organisatorisches zum Ablauf der Vorlesung und erste mathematische Grundlagen (Mengen)

Materialien und weitere Lektüre:

Altklausuren

Altklausuren finden Sie hier.

Übungsblätter

Die Übungsblätter werden hier veröffentlicht.

DownloadAusgabeAbgabeKommentar
Übung 015.10.2024Entfällt-
Übung 121.10.202428.10.2024 23:55 Uhr im Abgabe-System-
Übung 228.10.202404.11.2024 23:55 Uhr im Abgabe-System-
Übung 304.11.202411.11.2024 23:55 Uhr im Abgabe-SystemUpdate 06.11.: Aufgabentext in 3.1 angepasst, die Änderung ist rot markiert.
Übung 411.11.202418.11.2024 23:55 Uhr im Abgabe-System-
Übung 518.11.202425.11.2024 23:55 Uhr im Abgabe-SystemUpdate 21.11.: Aufgabe 5.3 b) braucht Induktion, daher bitte nur versuchen zu lösen falls Induktion bekannt ist.
Übung 625.11.202402.12.2024 23:55 Uhr im Abgabe-System-
Übung 702.12.202409.12.2024 23:55 Uhr im Abgabe-System-
Übung 809.12.202416.12.2024 23:55 Uhr im Abgabe-System-

SEAL - Self Assessment and Learning

Für zusätzliche Übungen entwickeln wir die SEAL Plattform. Hier finden Sie zu verschiedenen Themen automatisch generierte Übungsaufgaben mit denen Sie Ihren lernfortschritt überprüfen können.

Skript

Es steht das Skript von Herrn Prof. Dr. G. Schnitger Diskrete Modellierung zur Verfügung.