@article{oai:teapot.lib.ocha.ac.jp:00042855, author = {Cong , Youyou and Mito, Akiko}, issue = {1-2}, journal = {お茶の水女子大学自然科学報告}, month = {Feb}, note = {紀要論文, Mathematical induction is one of the most challenging topics in high school math. As reported by previous studies, students may write correct proofs by induction without understanding why their proofs are valid. In this thesis, we seek for a way to help students’ learning of induction by means of computer programming, in particular, by teaching the concept of recursion. Our contributions are three-fold. First, we design an introductory programming course for high school students, which aims to enhance their comprehension of induction through game programming. Second, we investigate students’ conceptual understanding of induction, using a specially designed paper test. Third, we propose a novel approach to teaching recursion, where the teacher explicitly shows the correspondence between recursive functions and proofs by induction.}, pages = {1--30}, title = {Improving students’ understanding of mathematical induction via programming}, volume = {70}, year = {2020} }