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
May 2017
Karlsruhe
25.05.2017 bis 28.05.2017

Gulaschprogrammiernacht 2017

Berlin
30.05.2017 bis 31.05.2017

TU Infotage 2017 an der TU Berlin

Oldenburg
31.05.2017

Vorträge aus dem Berufsleben: Bewerben - aber richtig!

Jun 2017
Oldenburg
02.06.2017

Hochschulinformationstag der Uni Oldenburg

Oldenburg
07.06.2017

Infos zum neuen Master Engineering of Socio-Technical System

Oldenburg
14.06.2017

Vorträge aus dem Berufsleben: OLDIES stellen ihre Firmen vor

Oldenburg
16.06.2017

Informationstag Informatik

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