Search

Search Results

• Different approaches of interplay between experimentation and theoretical consideration in dynamic geometry exploration: An example from exploring Simson line

  63-81

  Yip-Cheung Chan

  Views:

  10

  Dynamic geometry environment (DGE) is a powerful tool for exploration and discovering geometric properties because it allows users to (virtually) manipulate geometric objects. There are two possible components in the process of exploration in DGE, viz. experimentation and theoretical consideration. In most cases, there is interplay between these two components. Different people may use DGE differently. Depending on the specific mathematical tasks and the background of individual users, some approaches of interplay are more experimental whereas some other approaches of interplay are more theoretical. In this paper, different approaches of exploring a geometric task using Sketchpad (a DGE) by three individual participants will be discussed. They represent three different approaches of interplay between experimentation and theoretical consid- eration. An understanding of these approaches may contribute to an understanding on the mechanism of exploration in DGE.

• Modelling and simulation in education and the NetLogo simulation environment

  229-240

  Péter Bernát

  Views:

  8

  Just like real experimentation, computer simulation is a method for understanding the world. In the present paper I will demonstrate its possible didactic advantages and application potentials. The displayed simulations, which will be analyzed in a separate section, were all made in the NetLogo environment, one of them by the author himself.

• An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning

  13-34

  Róbert Vajda

  Views:

  11

  CreaComp is a project at the University of Linz, which aims at producing computer-supported interactive learning units for several mathematical topics at introductory university level. The units are available as Mathematica notebooks. For student experimentation we provide computational, graphical and reasoning tools as well. This paper focuses on the elementary analysis units.
  The computational and graphical tools of the CreaComp learning environment facilitate the exploration of new mathematical objects and their properties (e.g., boundedness, continuity, limits of real valued functions). Using the provided tools students should be able to collect empirical data systematically and come up with conjectures. A CreaComp component allows the formulation of precise conjectures and the investigatation of their validity. The Theorema system, which has been integrated into the CreaComp learning environment, provides full predicate logic with a user-friendly twodimensional syntax and a couple of automated reasoners that produce proofs in an easy-to-read and natural presentation. We demonstrate the learning situations and the provided tools through several examples.