Many mathematics educators are not aware of a strong connection that exists between the education of computer programming and mathematics. The reason may be that they have not been exposed to computer programming. This connection is worth exploring, given the current trends of automation and Industry 4.0. Therefore, in this paper we take a closer…

This paper presents a way of utilizing interdisciplinary relations between two educational branches, Mathematics and its applications and Information technologies (ICT) in integrated learning by the use of the Scratch programming language. The authors also present how they understand the concept of integrated learning and why they have chosen to…

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…

In this contribution, we show the practical use of the computer to visualise simple computational simulations to show phenomena that occur in everyday life, or require an abstract understanding for being unintuitive phenomena. The relationship of the mathematics to different scientific disciplines motivates us to devise different treatments to…

From the point of view of functional programming, a computational process to solve a problem is described as a mathematical function taking some arguments (corresponding to the data of the problem) and returning as a result its solution. Turtle Graphics can be used to describe the movements of a virtual turtle, which leaves a trail along his path…