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