NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 4 results Save | Export
Peer reviewed Peer reviewed
Direct linkDirect link
Simic, Danijela – International Journal for Technology in Mathematics Education, 2015
Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…
Descriptors: Mathematics, Computer Science, Computer Science Education, Comparative Analysis
Peer reviewed Peer reviewed
Direct linkDirect link
Herceg, Dorde; Herceg, Dragoslav – International Journal for Technology in Mathematics Education, 2010
The concept of definite integral is almost always introduced as the Riemann integral, which is defined in terms of the Riemann sum, and its geometric interpretation. This definition is hard to understand for high school students. With the aid of mathematical software for visualisation and computation of approximate integrals, the notion of…
Descriptors: Computer Software, Computers, Geometric Concepts, Calculus
Peer reviewed Peer reviewed
Direct linkDirect link
Lopez-Real, Francis; Lee, Arthur – International Journal for Technology in Mathematics Education, 2006
As part of a module on mathematical problem solving in an Initial Teacher Education programme, the student teachers are encouraged to produce alternative solutions to the problems they tackle and, in particular, to consider whether ICT can help. In this paper we discuss a number of unusual solutions produced for some of the problems, specifically…
Descriptors: Student Teachers, Problem Solving, Educational Technology, Foreign Countries
Peer reviewed Peer reviewed
Direct linkDirect link
Hora, Jaroslav; Pech, Pavel – International Journal for Technology in Mathematics Education, 2005
Computing limits of functions is a traditional part of mathematical analysis which is very difficult for students. Now an algorithm for the elimination of quantifiers in the field of real numbers is implemented in the program Mathematica. This offers a non-traditional view on this classical theme. (Contains 1 table.)
Descriptors: Mathematics, Computation, Mathematics Education, Computer Software