将数学归纳法思想引入算法与程序设计教学中.docVIP

将数学归纳法思想引入算法与程序设计教学中 　　《算法与程序设计》的课程标准强调了学生能从简单问题出发,设计算法解决问题,并能初步使用某种程序语言解决问题;强调的是实际问题的解决方法。 　　将数学归纳法的思想引入算法与程序设计的教学中可以结合数学和信息技术两门课程优势,使学生利用已有的知识和技能去设计正确的算法,达到培养信息素养的目的。同时,可以开辟新的教学方法,从有别于传统程序设计教学的角度,快速高效地在中学生中普及算法知识。 　　以下是数学归纳法教学思路与传统程序设计思路的对比。 　　数学归纳法是一种数学证明方法,典型地用于确定一个表达式在所有自然数范围内是成立的或者用于确定一个其他的形式在一个无穷序列是成立的。 　　用数学归纳法进行证明的步骤: 　　1.(归纳奠基)证明当取第一个值时命题成立;证明了第一步,就获得了递推的基础 　　2.(归纳递推)假设当前命题成立,证明后续命题也成立;证明了第二步,就获得了递推的依据,但没有第一步就失去了递推的基础。只有把第一步和第二步结合在一起,才能获得普遍性的结论; 　　3.下结论:从第一个值开始的所有后续命题都成立 　　数学归纳法的第二种形式:第二数学归纳法原理是设有一个与自然数n有关的命题,如果: 　　(1)当n=1回时,命题成立; 　　(2)假设当n≤k时命题成立,则当n=k+1时,命题也成立。 　　从上可以看