Sommersemester 2024
Computergestütztes mathematisches Beweisen
Vorlesung: | mittwochs 8:15-9:45 Uhr und freitags 10:15-11:45 Uhr, Raum B 252 | ||||||
Zentralübung: | dienstags 14:15-15:45 Uhr (Raum wird noch bekanntgegeben) Wenn Sie Lean auf Ihrem eigenen Rechner nutzen möchten, folgen Sie der Installationsanleitung auf der GitHub-Dokumentationsseite. Für die Installation von Lean und Mathlib unter Ubuntu ist eventuell auch diese Kurzanleitung hilfreich. Für erste Experimente kann auch dieses Online-Interface genutzt werden. | ||||||
Dozent: | Dr. Ralf Gerkmann | ||||||
Prüfung: | Der Erwerb der ECTS-Punkte erfolgt am Ende der Vorlesungszeit durch eine 30-minütige mündliche Prüfung (Termine nach Vereinbarung). | ||||||
Vorlesungsskript: | Stand 3. Mai, 159 Seiten (PDF) | ||||||
Übungsblätter: | sind demnächt über Moodle verfügbar | ||||||
Vorlesungsverlauf: |
Die Aufzeichnung der Vorlesung kann unter
LMUCast
abgerufen werden.
| ||||||
Vorlesungsinhalt und Literaturangaben |
zurück zur Personalseite