根据克拉维的观点，为了证明一个命题，可以证明其（）是错误的。
数学命题学习可分为()阶段。A、命题获得B、命题证明C、命题学习D、命题应用
点击查看答案
证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。
● 下列关于软件测试的叙述中，不正确的是（）。（）A．软件测试是为了发现错误而执行程序的过程B．测试是为了证明程序有错，而不是证明程序无错C．一个好的测试用例是在于它能发现至今未发现的错误D．一个成功的测试是发现了程序中所有的错误
程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
Myers在1979年提出了一个重要观点，即软件测试的目的是为了______。A) 证明程序正确B) 查找程序错误C) 改正程序错误D) 验证程序无错误A．B．C．D．
数学证明最基本的功用是()。A.核实命题B.理解命题C.发现命题D.计算命题
数学命题学习分为()阶段。A、命题习得B、命题获得C、命题证明D、命题应用
