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
Jun 2018
Potsdam
01.06.2018 bis 15.07.2018

CTech Bewerbungsschluss

Aachen
30.06.2018

Modul "Game-Programming" für Kids der Klassenstufen EF-Q2

Jul 2018
Weimar
13.07.2018 bis 14.07.2018

OpenLab Night Medieninformatik

Aachen
16.07.2018 bis 28.08.2018

Schüleruni in den MINT-Fächern

Aachen
16.07.2018 bis 20.07.2018

Schnupperuni Ingenieurwissenschaften für Mädchen

Aachen
16.07.2018 bis 20.07.2018

Einstieg in räumliches Denken und Konstruieren mit CAD

Aachen
23.07.2018 bis 27.07.2018

Girls-go-MINT+Sport

Aug 2018
Karlsruhe
06.08.2018 bis 10.08.2018

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

Potsdam
15.08.2018 bis 19.08.2018

Sommercamp für Schülerinnen und Schüler

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

Feb 2019
Weimar
01.02.2019

Bite the Bytes - Schnuppertag Medieninformatik

Mar 2019
Weimar
09.03.2019

Hochschulinformationstag Bauhaus-Universität Weimar