|
|
Ingo Runkel
Lehrveranstaltungen
Einige Skripten finden sich auf irunkel.github.io.
WiSe 2026/27:
Lineare Algebra I
SoSe 2026:
Tensor categories and topological field theory
WiSe 2025/26:
Seminar Computerbeweise in Lean4
Seminar LASek: Forschungsmathematik für Schüler erklären
SoSe 2025:
(Forschungssemester)
WiSe 2024/25:
Advanced Algebra
SoSe 2024:
Mathematik 4
WiSe 2023/24:
Lie Algebras
Seminar Computerbeweise in Lean4
SoSe 2023:
Mathematik 4
Ältere Lehrveranstaltungen.
100 Stunden Analysis
|
|
