Enrollment Key: PhYHkpxLuFop16v;774#
- Teacher: Sandra Gilhuber
- Teacher: Philipp Jahn
- Teacher: Thomas Seidl
- Teacher: Caroline Friedel
- Teacher: Elena Weiß
Einschreibeschlüssel: LMU
- Teacher: Walid Durani
- Teacher: Mauritius Klein
- Teacher: Collin Leiber
- Teacher: Thomas Seidl
Enrolment key: KIfürNF23
- Teacher: Eyke Hüllermeier
- Teacher: Timo Löhr
Enrollment key: FSK-SoSe23
- Teacher: Jasmin Blanchette
- Teacher: Rafeek Dalate
- Teacher: Fabian Lukas Grubmüller
- Teacher: Manuel Hülskamp
- Teacher: Vivian Alexandra Kafadar
- Teacher: Lydia Kondylidou
- Teacher: Jannis Limperg
- Teacher: Luca Maio
- Teacher: Moritz Sölderer
- Teacher: Zhiyang Song
Enrolment key: GKI2023
- Teacher: Clemens Damke
- Teacher: Eyke Hüllermeier
- Teacher: Patrick Kolpaczki
- Teacher: Timo Löhr
- Teacher: Maximilian Muschalik
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.
Einschreibeschlüssel: LDS_SoSe23
- Teacher: Clemens Damke
- Teacher: Jan Johannsen
- Teacher: Balazs Toth
- Teacher: Evi Berchtold
- Teacher: Felix Offensperger
- Teacher: Ralf Zimmer
Just for Test-reasons
- Teacher: Julian Hager
- Teacher: Sebastian Haugg
- Teacher: Michael Kölle
- Teacher: Robert Müller
- Teacher: Thu Mai Nguyen
- Teacher: Karola Schneider
- Teacher: Daniel Diefenthaler
- Teacher: Fabian Dreer
- Teacher: Pascal Jungblut
- Teacher: Dieter Kranzlmüller
- Teacher: Sven Strickroth
- Teacher: Felix Offensperger
- Teacher: Ralf Zimmer
- Teacher: Andrea Maldonado Hernandez
- Teacher: Gabriel Marques Tavares
- Teacher: Thomas Seidl
- Teacher: Steffen Illium
- Teacher: Maximilian Mansky
- Teacher: Maximilian Zorn
- Teacher: Simon Rauch
- Teacher: Matthias Schubert
- Teacher: Ludwig Zellner
Enrollment key: TIMI-SoSe23
- Teacher: Jasmin Blanchette
- Teacher: Lydia Kondylidou
- Teacher: Jannis Limperg
- Teacher: Evi Berchtold
- Teacher: Ralf Zimmer