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