Neue Master-Studiengänge

Zum Wintersemester 2024/25 werden voraussichtlich zwei neue Master-Studiengänge eingeführt:

• M.Ed.-Studiengang Lehramt Gymnasium – dual für Absolvent:inn:en eines B.Sc. in Informatik oder Physik
  – Bewerbungszeitraum: 01.05.–31.05.2024
  – Info-Flyer (pdf)
• M.Sc.-Studiengang Mathematics in Data and Technology
  – Bewerbungszeitraum: 01.06.–15.09.2024
  – Informationsveranstaltung zu diesem Studiengang am 16. Mai, 14:15 Uhr im HS II

Einladung zum Mathematischen Kolloquium für Studierende

Termine im Sommersemester 2024, jeweils 14:15 Uhr im HS II:

• Prof. Peter Pfaffelhuber über "Interaktives Beweisen mit Lean4" am 6. Juni
  Schon seit Jahrzehnten helfen Computer beim Beweisen mathematischer Aussagen. Interactive Theorem Provers (ITPs) können beispielsweise checken, ob vorgelegte Beweise korrekt sind oder nicht. Hierzu muss der mathematische Beweis in die Sprache des ITPs übersetzt – oder formalisiert – werden. In diesem Vortrag versuche ich, in einen ITP (Lean4) einzuführen, und anhand eines Beispiels aus einer Grundvorlesung aufzuzeigen, wie eine solche Formalisierung aussehen kann. Dabei bleibt eine mögliche Formalisierung nicht bei Grundlagen der Mathematik stehen, wie man etwa an Projekten zu perfektoiden Räumen oder dem Beweis der Fermat'schen Vermutung sieht.
• Prof. Heike Mildenberger am 4. Juli (Titel kommt noch)

Im Mathematischen Kolloquium für Studierende werden Themen aus den verschiedenen Arbeitsgebieten „mathematisch allgemeinverständlich“ vorgestellt. Die Vorträge richten sich an fortgeschrittene Bachelor-Studierende, an Master-Studierende aller Vertiefungsrichtungen, aber auch an Doktorandinnen und Doktoranden. Bei Kaffee und Tee im Anschluss gibt es die Möglichkeit zu Fragen, Austausch und Gespräch.