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.
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.
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.
Gruppe | Wochentag | Zeit | Raum |
---|---|---|---|
Gruppe 1 | Mo | 10 - 12 | NM 114 |
Gruppe 2 | Mo | 12 - 14 | NM 114 |
Gruppe 3 | Mo | 18 - 20 | online |
Gruppe 4 | Di | 8 - 10 | NM 114 |
Gruppe 5 | Di | 10 - 12 | NM 114 |
Gruppe 6 | Di | 12 - 14 | NM 114 |
Gruppe 7 | Mi | 10 - 12 | H 7 |
Gruppe 8 | Mi | 12 - 14 | H 6 |
Gruppe 9 | Mi | 14 - 16 | H 6 |
Gruppe 10 | Mi | 16 - 18 | NM 114 |
Gruppe 11 | Do | 8 - 10 | SR 307 |
Gruppe 12 | Do | 10 - 12 | NM 114 |
Gruppe 13 | Do | 12 - 14 | H 1 |
Gruppe 14 | Do | 16 - 18 | NM 114 |
Gruppe 15 | Fr | 10 - 12 | H 1 |
Gruppe 16 | Fr | 12 - 14 | H 13 |
Gruppe 17 | Fr | 14 - 16 | H 13 |
Onlineabgabe:
Vorrechnen:
Plagiate und KI-Lösungen:
Sie sollen anhand der Übungsaufgaben den Stoff der Vorlesung besser verstehen. Ein wichtiger Teil davon sind die Kommentare der Tutoren auf den korrigierten Abgaben.
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.
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.
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.
Kapitel | Stand | Vorlesungen | |
---|---|---|---|
Einführung | Handout | 14.10.2024 | 01 |
Mathematische Grundlagen | Handout | 14.10.2024 | 01, 02, 03, 04, 05 |
Aussagenlogik | Handout | 22.10.2024 | 05, 06, 07, 08, 09 |
Beweise | Handout | 13.11.2024 | 10, 11, 12 |
Graphen | Handout | 26.11.2024 | 13, 14, 15 |
Bäume | Handout | 05.12.2024 |
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 finden Sie hier.
Die Übungsblätter werden hier veröffentlicht.
Download | Ausgabe | Abgabe | Kommentar |
---|---|---|---|
Übung 0 | 15.10.2024 | Entfällt | - |
Übung 1 | 21.10.2024 | 28.10.2024 23:55 Uhr im Abgabe-System | - |
Übung 2 | 28.10.2024 | 04.11.2024 23:55 Uhr im Abgabe-System | - |
Übung 3 | 04.11.2024 | 11.11.2024 23:55 Uhr im Abgabe-System | Update 06.11.: Aufgabentext in 3.1 angepasst, die Änderung ist rot markiert. |
Übung 4 | 11.11.2024 | 18.11.2024 23:55 Uhr im Abgabe-System | - |
Übung 5 | 18.11.2024 | 25.11.2024 23:55 Uhr im Abgabe-System | Update 21.11.: Aufgabe 5.3 b) braucht Induktion, daher bitte nur versuchen zu lösen falls Induktion bekannt ist. |
Übung 6 | 25.11.2024 | 02.12.2024 23:55 Uhr im Abgabe-System | - |
Übung 7 | 02.12.2024 | 09.12.2024 23:55 Uhr im Abgabe-System | - |
Übung 8 | 09.12.2024 | 16.12.2024 23:55 Uhr im Abgabe-System | - |
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.
Es steht das Skript von Herrn Prof. Dr. G. Schnitger Diskrete Modellierung zur Verfügung.