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

• 作者: 宋士仓 李镇
• 来源期刊: 大学数学
• 学科: 数学
• 关键词: 数学证明方法 算法实现 程序设计
• 年，卷（期）: 2010,（z1）
• 页码范围: 105-108
• 分类号: O13|O244
• 字数: 3029字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-1454.2010.z1.027

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋士仓	郑州大学数学系	26	160	8.0	12.0
2	李镇	郑州大学数学系	16	25	3.0	4.0