Über Lotto und die Transitivität: Auf dem Weg zum formalen Beweis

In diesem Video zeigt euch Christian, wie hilfreich Bilder dabei sein können, einen formalen Beweis zu entwickeln. Ein Mathe-MOOC-Video, produziert von Lutz Berger