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