Logik und Diskrete Strukturen (SoSe 2024)
Vorlesung, 3-std., Johannsen; Übungen 2-std., Toth
Inhalt
Das Modul 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
- Zeit und Ort: Dienstags 11:15 - 13:45 Uhr im Hörsaal B 101 (HGB).
- Vorlesung: Dr. Jan Johannsen
- Übung: Balazs Toth
Bitte melden Sie sich in Moodle zur Lehrveranstaltung an. Alle weiteren Informationen gibt es dort.
Einschreibeschlüssel: LDS_SoSe24
Übungsbetrieb
- Die Übungen werden zu den angegebenen Terminen in Präsenz durchgeführt.
- Die Übungen starten in der ersten Vorlesungswoche, d.h. die ersten Übungen finden am 17.04. statt.
- Es ist keine Anmeldung zu den Übungsgruppen erforderlich.
- Die Übungsaufgaben werden immer an einem Dienstag veröffentlicht, ab Mittwoch bis Freitag in den Übungen besprochen, und Sie haben dann bis zum Ende der folgenden Woche Zeit zur Bearbeitung.
Übungsgruppen
| Gruppe | Zeit | Raum | Tutor:in |
|---|---|---|---|
| 1 | Mi 12-14 | M 001 | Victor Hucklenbroich |
| 2 | Mi 14-16 | M 001 | Sonja Matuska |
| 3 | Mi 16-18 | M 001 | Jiacheng Chen |
| 4 | Mi 18-20 | M 001 | Darius Jousdani |
| 5 | Do 10-12 | M 001 | Stephanie Ames |
| 6 | Do 12-14 | M 001 | Emil Zitek |
| 7 | Do 14-16 | M 001 | Luis Reich |
| 10 | Fr 14-16 | M 001 | Het Dave |
| 11 | Fr 10-12 | Zoom | Balazs Toth |
Alle Zeitangaben sind c.t., der Übungsbeginn ist also jeweils eine Viertelstunde später. Alle Räume sind im Hauptgebäude (Geschw.-Scholl-Platz 1).
Zoom Link für Gruppe 11: https://lmu-munich.zoom-x.de/j/62955885127?pwd=dXNyUi9rRHU3VzlrbFhrcytKYVN0QT09
Meeting ID: 629 5588 5127
Passcode: 963341
Kommunikation
Es gibt unter https://chat.ifi.lmu.de/ einen offiziellen Chat-Stream TCS-24S-LDS zur Vorlesung. Dieser ist neben Moodle unser bevorzugter Kommunikationskanal und sollte von allen Teilnehmern abonniert werden. Wie man zu einer gültigen Kennung kommt, die unter anderem die Benutzung des Zulip-Chats erlaubt, siehe: https://www.rz.ifi.lmu.de/infos/kennung_de.html
Prüfungen
Die Klausur wird am Mittwoch, den 7.8.2024 um 14:00 Uhr in Großhadern stattfinden. Eine Nachholklausur wird es kurz vor oder zu Beginn der Vorlesungszeit des kommenden Wintersemesters geben.