Mathematics seems abstract, difficult, and uninteresting to many students, which in turn reduces their interest in learning mathematics. It has been found that the use of ICT and meaningful contexts of problem-solving tasks can make learning mathematics more enjoyable and easier to understand for students. To increase students' interest in…

The main purpose of this study is to determine the effects of using dynamic mathematics software on pre-service mathematics teachers' ability to infer the shape of a cross section of a three-dimensional solid, as well as on their spatial visualization skills. The study employed a quasi-experimental design with a control group; the Purdue Spatial…

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…

This paper reports on classroom observations of senior high school mathematics lessons with a focus on the use of digital technology. The observations were of teachers enrolled in an in-service course, Teaching Advanced Mathematics. The paper reports selected results and comments on: software that was observed to have been used; the use (or not)…

The aim of the study is to conceptualize the technology-aided mathematical modelling process in the frame of cognitive modelling perspective. The grounded theory approach was adopted in the study. The research was conducted with seven groups consisting of nineteen prospective mathematics teachers. The data were collected from the video records of…

This paper proposes modelling based learning as a tool for learning and teaching mathematics in high school. We report on an example of modelling real world problems in two high schools in Serbia where students were introduced for the first time to the basic concepts of modelling. Student use of computers and educational software, GeoGebra, was…

In the current study we follow the development of the pedagogical procedure for the course "Constructions in Geometry" that resulted from using dynamic geometry software (DGS), where the computer became an integral part of the educational process. Furthermore, we examine the influence of integrating DGS into the course on students' achievement and…

The study of a real function of two real variables can be supported by visualisation using a Computer Algebra System (CAS). One type of constraint of the system is due to the algorithms implemented, yielding continuous approximations of the given function by interpolation. This often masks discontinuities of the given function and can provide very…

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.)