|
|||||
|
|
| 关于数学证明方法与算法实现关系的一些探讨 | |
| 引用本文： | 宋士仓,李镇.关于数学证明方法与算法实现关系的一些探讨[J].大学数学,2010,26(Z1). |
| 作者姓名： | 宋士仓 李镇 |
| 摘 要： | 从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出教学中的一些建议. |
| 关 键 词： | 数学证明方法 算法实现 程序设计 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |