Conceptual Mathematics via Literate Programming

2022/02/22 by Ian Benson, Jim Darby, Benson, Ian +5
Computer Science · #97B50 #97P40 #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #K.3.2 #Programming Languages (cs.PL) #Teaching and Learning Programming

paper · pdf · doi:10.48550/arxiv.2202.13771

openalex publication_date 2022/02/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Recent developments in computer programming and in mathematics suggest that there is a strong case for a new way of introducing programming to enhance the learning of school mathematics. The article describes a collaboration of mathematics and computer science teachers to solve the Josephus problem. We demonstrate how a programming approach based on both types and functions can make a vastly improved contribution to learning mathematics than the less successful use of conventional computer programming in Scratch.

Related

• A new course `Algebra + Computer Science': What should be its outcomes and where it should start
• On teaching mathematics to gifted students: some enrichment ideas and educational activities
• Mathematics and Mathematics Education in the 21st Century
• AI as a component in the action research tradition of learning-by-doing
• How Disciplinary Norms Influence Mathematicians' Views of Programming in Undergraduate Mathematics