In this paper, we describe an educational activity involving the use of a digital artifact, implemented in a visual programming environment, for mediating the learning of axial symmetry in primary school through algorithmics and computer programming. The educational activity was designed with the aim of bringing out increasingly…

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…

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…

The emphasis in several courses at technical faculties is on using a computer to perform numerical methods. Instead of focusing on mathematical rigorousness such courses usually concentrate on demonstrating the practical usage of numerical mathematical methods to the students. The practical usage of numerical methods is best learned by exposing…

In this work, we review and share some useful technology for mathematics educators that can help to enhance their pedagogical practices to motivate students to improve their further understanding of differential equations after an initial exposure to the topic in an undergraduate class. In particular, we present some innovative ways to employ…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

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…

Discrete Mathematics instructors and students have long been struggling with various labelling and scanning algorithms for solving many important problems. This paper shows how to solve a wide variety of Discrete Mathematics and OR problems using assignment matrices and linear programming, specifically using Excel Solvers although the same…

Dynamic/interactive graphing applets can be used to supplement standard computer algebra systems such as Maple, Mathematica, Derive, or TI calculators, in courses such as Calculus, Differential Equations, and Dynamical Systems. The addition of this type of software can lead to discovery learning, with students developing their own conjectures, and…

This paper reports on a design experiment in the domain of number sequences conducted in the course of the "WebLabs" project. We iteratively designed and tested a set of activities and tools in which 10-14 year old students used the "ToonTalk" programming environment to construct models of sequences and series, and then shared…