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