论文标题
通过识字编程的概念数学
Conceptual Mathematics via Literate Programming
论文作者
论文摘要
计算机编程和数学方面的最新发展表明，有一个有力的案例，即引入编程以增强学校数学学习的新方法。文章描述了数学和计算机科学教师解决约瑟夫斯问题的合作。我们演示了基于类型和功能的编程方法如何比在Scratch中更成功地使用传统的计算机编程对学习数学的贡献大大改善。
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.
