ISAC Summer of Code 2011

Eine neue Generation von Mathematik-Assistenten ist im Entstehen und die TUG ist dabei ! Künftige Mathematik-Lernsysteme werden auf Computer Theorem Proving (CTP) aufbauen und völlig neue Interaktionsmöglichkeiten bieten.

Zum Beispiel werden die Systeme Lernen durch Versuch und Irrtum unterstützen, wie ein guter Schachcomputer -- siehe das Beispiel unten: Möchte man wissen, welche Mathematik Statiker verwenden, wählt man ein verständliches Rechenbeispiel aus (über  links oben fragt die Angabe danach, wie sich ein Balkon unter einer bestimmten Last biegt). Dann geht ein Worksheet auf, das die Eingabe von Rechnungen wie auf einem Blatt Papier erlaubt -- nur dass das System die Eingaben überprüft und wenn nötig auch selbst den nächsten Rechenschritt liefert; dazu dient der  Button auf der Menüleiste oberhalb.



Hat man, wie oben, ein paar Rechenschritte (zum Beispiel die einfache Integration, Grafik vergrößern) am Worksheet, so möchte man vielleicht wissen, welche Begründung vom Schritt -q_ x = q_0 zum Folgeschritt Q' x = - q_0 führt: Ein Klick auf  öffnet das Fenster rechts unten. Und wenn man dann schon ;-)) genug weiß, klickt man  und sieht sich das Ergebnis an.

Der Screenshot oben zeigt den Prototypen aus dem ISAC-Projekt der TUG, der schon bisher als Open-Source Produkt weitgehend von Studentinnen und Studenten entwickelt wurde und auch bereits in der Schulpraxis erfolgreich erprobt wurde.

Den ISAC Prototypen weiterentwickeln, sodass er rasch weite Verbreitung finden kann, ist das Ziel dieses 'Summer of Code':

Im Detail, die Entwicklung von
 * 1) Frontend und Dialog (an der TU Graz) wird die Interaktivität im Versuch-und-Irrtum Lernen und die Benutzerführung verbessern
 * 2) Content zu Studieneingang (an der TU Graz) wird Studienanfänger unterstützen sowie Schüler in ihrer Orientierung zu technisch-naturwissenschaftlichen Studien ansprechen
 * 3) Programmsprache und Interpreter (an der TU Wien) wird die Stabilität der Interaktion verbessern und die weitere Content-Entwicklung erleichtern
 * 4) Symbolic Computation (am RISC Linz) wird den Umfang an gundlegenden mathematischen Methoden für angewandte Mathematik erweitern.
 * 5) Anwendung an Höheren Schulen in Zusammenarbeit mit der Pädagogischen Hochschule der Steiermark.

Anrechnung von Projekt-Mitarbeit erfolgt im Rahmen von Projekt/Seminaren, von Bakk-, Master- und Diplom-Arbeiten. Erfolgreiche Mitarbeit empfiehlt für Engagement in finanzierten Projekten, die auf österreich- und EU-weiter Ebene in Planung sind. Bei Genehmigung eines dieser Projekte wird es auch Dissertantenstellen geben.