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
Feb 2019
Potsdam
18.02.2019 bis 10.06.2019

Java - Objektorientierte Programmierung für Schüler

Potsdam
18.02.2019 bis 10.06.2019

Onlinekurs: Python - Spielend Programmieren lernen

Mar 2019
Aachen
28.03.2019

Girls Day 2018

Augsburg
28.03.2019

Tag der Informatik 2019

Augsburg
28.03.2019

Girls Day 2019

Apr 2019
Augsburg
06.04.2019

Schülerinfotag 2019

May 2019
Potsdam
31.05.2019

HPI-Studieninformationstag

Aug 2019
Potsdam
07.08.2019 bis 11.08.2019

Sommercamp für Schülerinnen und Schüler