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