Konstruieren mit dem Computer

Zusammenfassung

Gegenstand des Beitrages sind die beiden Systeme TRICON und GEOLOG, die im Rahmen des von der DFG geförderten GIT-Projektes (Geometry and Intelligent Tutoring) am Institut für Didaktik der Mathematik der Universität Giessen vom Verf. entwickelt wurden¹. Gegenstand des Projektes sind die Entwicklung und Erprobung von Werkzeugen für intelligente tutorielle Systeme zur Förderung des Problemlösens im Geometrieunterricht allgemeinbildender Schulen. Da eine enge Verbindung von Forschung und Schulpraxis angestrebt wird, ist die Lauffähigkeit der entwickelten Software auf Heim-und/oder Personalcomuptern eine selbstauferlegte Hardware Beschränkung. Zur Implementierung wird PROLOG verwendet, das sich insbesondere für Aufgabenklassen aus der Geometrie als besonders geeignet erwiesen hat. Ein weiteres Produkt des Projektes ist das intelligente tutorielle System GEOBEWEIS zur Unterstützung einfacher geometrischer Beweise durch Vorwärtsverketten. GEOBEWEIS wurde bisher jedoch noch nicht in der Schule erprobt.