Programming-based activities are becoming more widespread in curricula. Our theoretical and empirical investigation seeks to identify appropriate ways to connect computer programming and algorithmics to mathematical learning. We take the intermediate value theorem as our starting point, as it is covered by the French school curriculum, and because…

Presents an approach for illustrating, on an intuitive level, the significance of loop invariants for algorithm design and analysis. The illustration is based on mathematical games that require the exploration of regularities via problem-solving heuristics. (Author/MM)

The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…