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

摘要

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