As computational thinking (CT) is new to teachers, they need support on how CT integration will work. This study examines the use of a hypothetical learning trajectory (HLT) to support teachers in integrating computational thinking into mathematics lessons utilizing GeoGebra. By employing the educational design research (EDR) methodology, the…

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…

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…