Written by Anja Faller, Emma Roser and Philipp Andres 1. Einführung Dieser Workshop ist im Rahmen des HEGL-Seminars ”Mathematik unterrichten“ im Sommersemester 2025 an der Universität Heidelberg entstanden. Nach intensiver Auseinandersetzung mit der Konstruktion der reellen Zahlen innerhalb drei studentischer…
Written by Jan Kuchenbecker and Alexandra Fuchs In diesem Workshop sollen SuS selbstständig verschiedene Methoden der Approximation erarbeiten, dabei führen sie verschiedene Verahren selbst durch und bewerten diese, finden selbst allgemeine Formeln zur Approximation und führen auch einen Beweis. Die…
Written by Tabea Kruse and Linus Zeitnitz Einleitung Dieser Workshop ist im Rahmen des HEGL-Seminars „Teaching Mathematics“ im Sommersemester 2025 an der Universität Heidelberg entstanden. Ausgehend von Vorträgen zur Cantor-Menge und Cantor-Funktion wählten wir das Thema Fraktale, welches im Rahmen…
Written by Anna Liepold, Sophie Schreck and Meryem Keskin Dieser Workshop ist im Rahmen des HEGL-Seminars „Teaching Mathematics“ im Sommersemester 2025 an der Universität Heidelberg entstanden. Das Ziel dieses Workshops ist es, den Schüler*innen den Begriff der „Unendlichkeit“ aus einem…
Written by Shahroch Malik Hassany Introduction My task in this project was to understand how a new implementation of the real numbers in Lean works: the ComputableReal Repository. I was supposed to figure out what it does, how it works,…
Written by Vincent Voß, Katrin Weiß This Lean Game was created as a group project during a HEGL seminar by Heide Frank, Johannes Kadel, Adriano Messina, Hannah Rothe, Jonas Schäfer, Alina Stock, Vincent Voß and Katrin Weiß. What is a…
Written by Tabea Bokelmann, Malin Clasen, Eva Hettler This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Hannah Gebhardt, Solveig Harder, Hannah Renner This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Jule Dyck, Michelle Rehmer, Alina Vogel This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Johannes Kadel, Luca-Marie Carstens, Gino Rincon This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
