证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。
证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。
相关考题：
数学命题接受学习是把数学命题直接呈现在学生面前通过分析命题所涉及的数学概念以及数学命题的条件与结论,得出命题的逻辑关系,然后学习命题的证明过程,并用实际例子对命题的正确性进行验证。() 此题为判断题(对，错)。
5、下列说法中，正确的有：A．哥德尔不完全性定理把命题“正确”与“可证明”区别开来了B．“可证明”的命题一定“正确”C．“正确”的命题不一定“可证明”D．“正确”的命题一定“可证明”E．“不可证明”的命题一定“不正确”F．命题“正确”与命题“可证明”是一回事
2、下列说法正确的是（）A．存在一个计算机程序，能够自动判定任何一个数学命题是否成立B．存在一个形式推理系统，能够得到所有成立的数学命题C．存在数学定理，可以应用自动定理证明器进行自动证明D．（无）
8、下列说法正确的是（）A．存在一个计算机程序，能够自动判定任何一个数学命题是否成立B．存在一个形式推理系统，能够得到所有成立的数学命题C．存在数学定理，可以应用自动定理证明器进行自动证明D．无