【作者】 宋士仓； 李镇；
【机构】 郑州大学数学系；
【摘要】 从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出教学中的一些建议.更多还原
