Logik und Diskrete Strukturen (SoSe 2023)
Vorlesung, 3-std., Johannsen; Übungen 2-std., Damke
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: Clemens Damke
Bitte melden Sie sich in Moodle zur Lehrveranstaltung an. Alle weiteren Informationen gibt es dort.
Einschreibeschlüssel: LDS_SoSe23
Ü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 19.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 014 | Aileen Chen |
| 2 | Mi 14-16 | M 114 | Aileen Chen |
| 3 | Mi 16-18 | M 114 | Fatjon Tushe |
| 4 | Mi 18-20 | M 114 | Fatjon Tushe |
| 5 | Do 10-12 | M 109 | Thomas Linder |
| 6 | Do 12-14 | M 109 | Dejvis Toptani |
| 7 | Do 14-16 | M 109 | Dejvis Toptani |
| 8 | Do 16-18 | M 109 | Nikolaj Gruben |
| 9 | Fr 10-12 | online | Clemens Damke |
| 10 | Fr 12-14 | M 109 | Luis Gambarte |
| 11 | Fr 14-16 | M 109 | Luis Gambarte |
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).
Kommunikation
Es gibt unter https://chat.ifi.lmu.de/ einen offiziellen Chat-Stream KIML-23S-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 Donnerstag, den 3.8.2023 um 14:00 Uhr stattfinden. Eine Nachholklausur wird es kurz vor oder zu Beginn der Vorlesungszeit des kommenden Wintersemesters geben.