关于数学证明方法与算法实现关系的一些探讨

摘要：

从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出教学中的一些建议.

关键词：数学证明方法、算法实现、程序设计

所属期刊栏目：26

分类号：O13;O244(高等数学)

在线出版日期：2011-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：105-108