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
Aug 2018
Potsdam
28.08.2018 bis 19.06.2019

Schülerkolleg am Hasso-Plattner-Institut

Nov 2018
Aachen
05.11.2018 bis 09.11.2018

Hochschulhospitationswoche für Schüler*innen der Q1 und Q2

Aachen
07.11.2018

Vortrag von Prof. Dr. Leif Kobbelt: Digitale Geometrie 4.0

Karlsruhe
21.11.2018

Uni für Einsteiger am KIT

Jan 2019
Aachen
21.01.2019

Beratungstag 2019

Feb 2019
Weimar
01.02.2019

Bite the Bytes - Schnuppertag Medieninformatik

Mar 2019
Weimar
09.03.2019

Hochschulinformationstag Bauhaus-Universität Weimar