Search

Search Results

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

  13-34

  Róbert Vajda

  Views:

  28

  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.

• Application of computer algebra systems in automatic assessment of math skills

  395-408

  Przemyslaw Kajetanowicz

  Jedrzej Wierzejewski

  Views:

  29

  Mathematics is one of those areas of education, where the student's progress is measured almost solely by testing his or her ability of problem solving. It has been two years now that the authors develop and use Web-based math courses where the assessment of student's progress is fully automatic. More than 150 types of problems in linear algebra and calculus have been implemented in the form of Java-driven tests. Those tests that involve symbolic computations are linked with Mathematica computational kernel through the Jlink mechanism. An individual test features random generation of an unlimited number of problems of a given type with difficulty level being controlled flat design time. Each test incorporates the evaluation of the student's solution. Various methods of grading can be set at design time, depending on the particular purpose that a test is used for (self-assessment or administrative exam). Each test is equipped with the correct solution presentation on demand. In those problems that involve a considerable amount of computational effort (e.g. Gauss elimination), additional special tools are offered in a test window so that the student can concentrate on the method of solution rather than on arithmetic computations. (Another obvious benefit is that the student is thus protected from the risk of frustrating computational errors). Individual tests can be combined into comprehensive exams whose parameters can be set up at design time (e.g., number of problems, difficulty level, grading system, time allowed for solution). The results of an exam can be automatically stored in a database with all authentication and security requirements satisfied.

• Numerical mathematics with GeoGebra in high school

  363-378

  Dragoslav Herceg

  Đorđe Herceg

  Views:

  34

  We have prepared a suite of motivational examples which illustrate numerical methods for equation solving. Fixed point iteration, Newton's method, secant method and regula falsi method are implemented as GeoGebra tools. Our experience in teaching of numerical mathematics in "Jovan Jovanovic Zmaj" high school in Novi Sad is presented. We have tested pupil proficiency in numerical equation solving with and without use of a computer and the results are presented.

• Models of impulsive phenomena: experiences with writing an interactive textbook

  333-345

  János Karsai

  Views:

  24

  "Take the textbook to computer" – is said quite often. Would it be so easy? If we start such a work, we meet a lot of trouble very soon. A book stored on a CD, read on the screen of computer and containing some hyperlinks does not become automatically electronic textbook. There are difficulties also in writing merely an electronic attachment to a classical book. In this paper, we deal with some important features (actually important from our point of view) of interactive mathematics textbooks, arising mathematical, didactical and technical problems. The "principles" are illustrated with examples taken from the book-CD "Models of Impulsive Phenomena".