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 26. April, 116 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