Logik und Diskrete Strukturen (SoSe 2025)

Vorlesung, 3-std., Johannsen; Übungen 2-std., Toth, Desharnais

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, Martin Desharnais,

Bitte melden Sie sich in Moodle zur Lehrveranstaltung an. Alle weiteren Informationen gibt es dort.

Einschreibeschlüssel: LDS25