The Incredible Proof Machine

The Incredible Proof Machine

News
Hier werden mathematische Beweise spielerisch gelöst!

Mathematische Beweise gehören zu den aufregendsten Aspekten der Disziplin. Für die Mathematik ist der Beweis ein grundlegendes Element - und deshalb auch für Informatikerinnen und Informatiker wichtig. Spätestens im Informatikstudium begegnet den Studentinnen und Studenten dieses wichtige Thema. Leider kommt es in der Schule oft nicht ausreichend zur Sprache, wie auch die Informatik selbst. Deshalb bietet Joachim Breitners "The Incredible Proof Machine" einen spielerischen Einstieg in die exakte Beweistheorie. Mit Drag & Drop kann man so Beweise lösen. Die "Incredible Proof Machine" gibt es kostenlos im Netz unter incredible.pm. Eine Einführung (auf Englisch) dazu findet sich auf Joachim Breitners Blog. Eine ausführliche Erklärung gibt auch der Artikel zu einem Interview, das Breitner dem Modellansatz-Podcast gegeben hat und in dem veröffentlichten Paper.

Weitere Informationen unter: www.math.kit.edu/ianm4/seite/ma-incredible-proof-machine/de, www.joachim-breitner.de/blog/682-The_Incredible_Proof_Machine, pp.ipd.kit.edu/uploads/publikationen/breitner16incredible.pdf

Rubrik, Tags
News Rubrik: 
Infos
Veröffentlicht bis: 
08.10.2017
Zuletzt geändert: 
10.07.2017 - 09:58
Inhaltstyp: 
news
Beitrag Id: 
257760