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
Jul 2018
Aachen
16.07.2018 bis 28.08.2018

Schüleruni in den MINT-Fächern

Aug 2018
Potsdam
15.08.2018 bis 19.08.2018

Sommercamp für Schülerinnen und Schüler

Karlsruhe
20.08.2018 bis 24.08.2018

Schnupperstudium Informatik am KIT

Aachen
20.08.2018 bis 24.08.2018

Schüleruni MINT Lehramt (Plätze für Schülerinnen und Schüler

Aachen
23.08.2018

MINT-Fächer ausprobieren

Weimar
23.08.2018

Orientierungsabend für Eltern und Schüler

Potsdam
28.08.2018 bis 19.06.2019

Schülerkolleg am Hasso-Plattner-Institut

Sep 2018
Houston (Texas), USA
26.09.2018 bis 28.09.2018

USA-Reisestipendien für Informatik-Studentinnen: Hasso-Platt

Nov 2018
Aachen
05.11.2018 bis 09.11.2018

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

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