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