The Incredible Proof Machine - 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 Informatiker wichtig. Spätestens im Informatikstudium begegnet auch Informatikern dieses wichtige Thema. Leider kommt es in der Schule 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" findet ihr unter incredible.pm. Eine Einführung (auf Englisch) dazu findet ihr auf Joachim Breitners Blog. Das Paper dazu, für all die, die es genau wissen wollen, ist hier.

Eine gute und ausführliche Erklärung findet sich im Artikel zu einem Interview, das Breitner dem Modellansatz-Podcast gegeben hat. Hier geht's lang

 

h/t Modellansatz auf Twitter.

 

 

[Zurück]

Termine
Apr 2017
Jul 2017
Hannover
01.07.2017 bis 21.07.2017

Niedersächsische Talente-Akademie

Rostock
24.07.2017 bis 28.07.2017

Internationale Sommerschule PLUS 2017

Jan 2018
Potsdam
26.01.2018 bis 28.01.2018

"Fit for BWInf"-Camp

Mar 2018
Aachen
20.03.2018

Berufetag

Apr 2018
Potsdam
13.04.2018

HPI-Studieninformationstag

Potsdam
26.04.2018

Girls' Day am Hasso-Plattner-Institut

May 2018
Lübeck
25.05.2018

Schnuppertag für Studieninteressierte

Aug 2018
Potsdam
15.08.2018 bis 19.08.2018

Sommercamp für Schülerinnen und Schüler