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

Oldenburg
05.07.2017

Info-Veranstaltung zu Master (Wirtschafts-) Informatik

Braunschweig
09.07.2017

Hochschulinformationstag

Oldenburg
21.07.2017

Projektgruppen im Wintersemester

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

Oct 2017
Orlando, Florida
04.10.2017 bis 06.10.2017

USA-Reisestipendien für Informatikerinnen

Nov 2017
Potsdam
04.11.2017

Tag der Offenen Tür

Leipzig
18.11.2017

Django Girls Workshop