Wissenschaftliche LiteraturAlgebra

Ewald Bichler

Explorative Studie zum langfristigen Taschencomputereinsatz im Mathematikunterricht

Der Modellversuch Medienintegration im Mathematikunterricht (M³) am Gymnasium

Didaktik in Forschung und Praxis

Im Jahr 1995 wurde der erste Taschencomputer (TC) mit Computeralgebrasystem vorgestellt. Seither beschäftigt man sich intensiv mit den Einsatzmöglichkeiten im Unterricht. Ein Taschencomputer vereint Werkzeuge wie ein Computeralgebrasystem, einen Funktionenplotter, dynamische Geometrie, Tabellenkalkulation und…

Wolfgang Weigel

Mathematik und E-Learning

Zur Integration von virtueller Lehre (E-Learning) und Neuen Technologien in die Mathematik-Lehramtsausbildung

Beiträge zur Mathematik

Wolfgang Weigel untersucht, wie Grundkompetenzen im Umgang mit Neuen Technologien im Mathematikunterricht an zukünftige Lehrer im Rahmen ihrer Ausbildung herangetragen werden können. Um zusätzlich einen Beitrag zu einem breiten Basiswissen in Bezug auf Lehr- und Lernmethodik zu leisten, wird hierfür insbesondere…

Roswitha Bardohl

GENGED: Visual Definition of Visual Languages

based on Algebraic Graph Transformation

Forschungsergebnisse zur Informatik

Master Ittei said, „In calligraphy it is progress when the paper, brush and ink are in harmony“ [Yam79]. Today in software modeling and specification we are far away from this principle. Visual specifications might be a step in the right direction. We built the GENGED environment to make software modeling and…

Helmut Siemon

Einführung in die Zahlentheorie

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Diese Einführung in die Zahlentheorie ist aus Vorlesungen für Studierende des Lehramts der Sekundarstufen I und II entstanden. Elementare Zahlentheorie ist für angehende Lehrer wichtig als

Götz Gelbrich

Gruppen, Parkette und Selbstähnlichkeit

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Gegenstand dieses Buches sind Parkette in metrischen Räumen, auf deren Bausteinmenge eine Gruppe von Isometrien frei und transitiv operiert, und die selbstähnlich sind, d.h. eine expansive Abbildung bildet jeden Baustein exakt auf die Vereinigung einer bestimmten Anzahl von Bausteinen ab. [...]

Felix Ulmer

Entwurf von Algorithmen zur Berechnung Liovillescher Lösungen von linearen gewöhnlichen Differentialgleichungen

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Die Computer-Algebra ist das Teilgebiet der Informatik, welches sich mit dem Entwurf, der Analyse und der Implementierung von algebraischen Algorithmen befaßt. Bei einem algebraischen Algorithmus werden im Rechner darstellbare, abstrakte mathematische Datentypen symbolisch manipuliert, um ohne Verlust an…

Claus-Peter Wirth

Positive/Negative-Conditional Equations

A Constructor-Based Framework for Specification and Inductive Theorem Proving

Forschungsergebnisse zur Informatik

Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale…