Logik und Diskrete Strukturen (LDS, SoSe 2026)
Vorlesung, 3-std., Blanchette; Übungen 2-std., Desharnais-Schäfer, Toth
Inhalt
Die Vorlesung führt in grundlegende mathematische Konzepte zum Umgang mit endlichen oder abzählbaren Strukturen ein sowie in grundlegende Konzepte der Logik. Unter anderem werden behandelt: Mengen, Relationen, Ordnungen, Modulare Arithmetik, Kombinatorik, Gruppen und Körper, Aussagenlogik und Prädikatenlogik, Gentzen-Kalküle und Resolution.
Organisation
Umfang: 3+2 Semesterwochenstunden
Vorlesung: Prof. Dr. Jasmin Blanchette
Vorlesung
Die Vorlesung wird als Präsenzveranstaltung durchgeführt. Sie findet dienstags von 11:15 Uhr bis 13:45 Uhr im Hörsaal E 120 (Großen Aula) im Hauptgebäude statt, mit bis zu zwei 15-minütigen Pausen.
Das Material zur Vorlesung wird unter Material bereitgestellt.
Übungsbetrieb
Die Übungen werden zu den unter Zeit und Ort angegebenen Terminen durchgeführt. Die Übungen starten am Mittwoch, dem 15.04.2026. Es ist keine Anmeldung zu den Übungsgruppen erforderlich.
An allen gesetzlichen Feiertagen sowie in der Pfingstwoche (25.05.–29.05.2026) finden keine Tutorien statt.
Die Übungsaufgaben werden immer an einem Dienstag über Moodle veröffentlicht, von Mittwoch bis Freitag in den Übungen besprochen, und Sie haben dann bis zum Ende der folgenden Woche Zeit zur Bearbeitung der Hausaufgaben.
Zeit und Ort
| Veranstaltung | Zeit (c.t.) | Ort | Dozent/-in bzw. Tutor/-in | Beginn |
|---|---|---|---|---|
| Vorlesung | Di. 11–14 | Geschwister-Scholl-Platz 1, E 120 (Große Aula) | Prof. Dr. Jasmin Blanchette | 14.04.2026 |
| Übungsgruppe 1 | Mi. 12–14 | Geschwister-Scholl-Platz 1, M 001 and Zoom | Balazs Toth | 15.04.2026 |
| Übungsgruppe 2 | Mi. 14–16 | Geschwister-Scholl-Platz 1, M 001 | 15.04.2026 | |
| Übungsgruppe 3 | Mi. 16–18 | Geschwister-Scholl-Platz 1, M 001 | 15.04.2026 | |
| Übungsgruppe 4 | Mi. 18–20 | Geschwister-Scholl-Platz 1, M 001 | 15.04.2026 | |
| Übungsgruppe 5 | Do. 10–12 | Geschwister-Scholl-Platz 1, M 001 | Dr. Martin Desharnais-Schäfer | 16.04.2026 |
| Übungsgruppe 6 | Do. 12–14 | Geschwister-Scholl-Platz 1, M 001 | 16.04.2026 | |
| Übungsgruppe 7 | Do. 14–16 | Geschwister-Scholl-Platz 1, M 001 | 16.04.2026 | |
| Übungsgruppe 8 | Fr. 14–16 | Geschwister-Scholl-Platz 1, M 001 | 17.04.2026 |
Material
Folien: Kapitel 0: Organisatorisches (mit Animationen, ohne Animationen) Kapitel 1: Grundlagen (mit Animationen, ohne Animationen) Kapitel 2: Ordnungen und Verbände (mit Animationen, ohne Animationen) Kapitel 3: Zahlentheorie und Arithmetik (mit Animationen, ohne Animationen) Kapitel 4: Algebra (mit Animationen, ohne Animationen) Kapitel 5: Kombinatorik (mit Animationen, ohne Animationen) Kapitel 6: Aussagenlogik (mit Animationen, ohne Animationen) Kapitel 7: Prädikatenlogik erster Stufe (mit Animationen, ohne Animationen) Kapitel 8: Weitere Logiken (mit Animationen, ohne Animationen)
Videoaufzeichnungen durch PD Dr. Jan Johannsen aus Pandemiezeiten:
Die Nutzung dieser Videos erfolgt auf eigene Verantwortung. Der Inhalt der diesjährigen Vorlesung kann von den Inhalten in den vorherigen Jahren abweichen. Insbesondere haben sich einige Notationen geändert. Allein der Inhalt der Präsenzvorlesung ist für die Prüfung verbindlich.
Mengen · Relationen · Funktionen · Beweise · Induktion · Partielle Ordnungen · Verbände · Teilbarkeit · Primzahlen · Euklidischer Algorithmus · Modulare Arithmetik · Kongruenzen · Algebraische Strukturen · Homomorphismen · Halbgruppen und Monoide · Gruppen · Ordnung · Zyklische Gruppen · Untergruppen und Nebenklassen · Ringe · Körper · Polynome · Polynomdivision · Körpererweiterung · Kombinatorik · Schubfachprinzip · Aussagenlogik · Aussagenlogik: Semantik · Negations-Normalform · Disjunktive und Konjunktive Normalform · Sequenzenkalkül · Sequenzenkalkül: Vollständigkeit · Resolution · Tseitin-Expansion · SAT-Solving · Prädikatenlogik: Syntax · Prädikatenlogik: Semantik · Pränex-Normalform · Sequenzenkalkül für die Prädikatenlogik · Sequenzenkalkül für die Prädikatenlogik: Vollständigkeit (nicht klausurrelevant) · Quantifizierte Aussagenlogik · Modallogik · Temporale Logik · Prädikatenlogik zweiter Stufe · Intuitionistische Logik
Übungsblätter und Lösungen: Siehe Moodle.
Klausuren von 2025: Reguläre Klausur (Lösungen), Wiederholungsklausur (Lösungen)
Chat
Für die Vorlesung gibt es einen Zulip-Chatraum, in dem Sie sowohl organisatorische als auch inhaltliche Fragen stellen können. Bitte verwenden Sie wenn möglich diesen Chatraum, anstatt uns E-Mails zu schreiben, damit Ihre Mitstudierenden auch von den Antworten profitieren können.
Zulip-Server: https://chat.ifi.lmu.de
Stream: TCS-26S-LDS
Klausuren
Die Daten für die reguläre Klausur und die Wiederholungsklausur werden später bekanntgegeben.
Die Bearbeitungszeit beträgt 120 Minuten.
Sie benötigen
- Studierendenausweis,
- Ausweisdokument mit Bild (z.B. neuen Studierendenausweis),
- Schreibmaterial (dokumentenechter Stift, weder rot noch grün).
Hilfsmittel sind nicht erlaubt. Auch das Mitführen ausgeschalteter elektronischer Geräte wird als Betrugsversuch gewertet. Die Klausuren werden sich strukturell und inhaltlich an denen von 2025 orientieren (siehe Material), aber wir behalten uns natürlich beliebige Änderungen vor.
Falls Sie einen Nachteilsausgleich in Anspruch nehmen möchten, melden Sie sich bitte mindestens eine Woche im Voraus bei Prof. Dr. Jasmin Blanchette.