节点文献

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

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 宋士仓； 李镇；

【机构】 郑州大学数学系；

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

【关键词】 数学证明方法； 算法实现； 程序设计；
  • 【文献出处】 大学数学 ,College Mathematics , 编辑部邮箱 ,2010年S1期
  • 【分类号】O1-4
  • 【下载频次】161
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)