Links und Funktionen


Inhaltsbereich

Logik und Diskrete Strukturen

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 Fatjon Tushe
8 Do 16-18 M 001 Fatjon Tushe
9 Fr 12-14 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

Artikelaktionen


Funktionsleiste