WEKO3
アイテム
Improving students’ understanding of mathematical induction via programming
http://hdl.handle.net/10083/00063651
http://hdl.handle.net/10083/00063651eef4c305-0284-4762-be85-48dfbb5ff0c1
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2020-04-21 | |||||
タイトル | ||||||
タイトル | Improving students’ understanding of mathematical induction via programming | |||||
言語 | en | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
著者 |
Cong , Youyou
× Cong , Youyou× Mito, Akiko |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 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. | |||||
書誌情報 |
お茶の水女子大学自然科学報告 巻 70, 号 1-2, p. 1-30, 発行日 2020-02 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 00298190 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN00033958 | |||||
著者版フラグ | ||||||
値 | publisher | |||||
出版者 | ||||||
出版者 | お茶の水女子大学 | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | 紀要論文 | |||||
資源タイプ・ローカル | ||||||
値 | 紀要論文 | |||||
資源タイプ・NII | ||||||
値 | Departmental Bulletin Paper | |||||
資源タイプ・DCMI | ||||||
値 | text | |||||
資源タイプ・ローカル表示コード | ||||||
値 | 03 |