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
May 2017
Karlsruhe
25.05.2017 bis 28.05.2017

Gulaschprogrammiernacht 2017

Berlin
30.05.2017 bis 31.05.2017

TU Infotage 2017 an der TU Berlin

Jun 2017
Oldenburg
16.06.2017

Informationstag Informatik

Jul 2017
Hannover
01.07.2017 bis 21.07.2017

Niedersächsische Talente-Akademie

Braunschweig
09.07.2017

Hochschulinformationstag

Rostock
24.07.2017 bis 28.07.2017

Internationale Sommerschule PLUS 2017

Aug 2017
Karlsruhe
07.08.2017 bis 11.08.2017

Science Camp Informatik. Informatik -nicht nur was für Jungs

Bonn
19.08.2017 bis 20.08.2017

FrOSCon 2017 - Offene Software in Bonn

Potsdam
23.08.2017 bis 27.08.2017

HPI-Sommercamp für Schülerinnen und Schüler