证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。

[主观题]程序正确性证明最常用的方法是[ ]，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

[主观题]程序正确性证明是用______来证明程序正确性的方法。

[单选题]在数学证明的发展中，是谁提出了证明是需要前提条件的（）A .欧几里得B .阿基米德C .泰勒斯D .毕达哥拉斯

[单选题]数学证明最早是（）提出来的。A .毕达哥拉斯B .欧几里得C .泰勒斯D .亚里士多德

[判断题] 软件测试只能证明程序有错误，不能证明程序没有错误。A . 正确B . 错误

[单选题]SCUC在数学上是一个（）问题。A .线性规划B .无约束规划C .混合整数规划D .二次规划

[单选题]下列两组林权登记发证的程序，请判断哪一组属正确程序（）A .①提出申请②审核登记③颁发证书④验收建档B .①提出申请②颁发证书③张榜公布④验收建档

[单选题]证明一组数据的分布是否具有正态性的检验方法为A.两独立样本比较的t检验B.u检验SXB证明一组数据的分布是否具有正态性的检验方法为A．两独立样本比较的t检验B．u检验C．方差齐性检验D．t'检验E．正态性检验

[单选题,B1型题] 证明一组数据的分布是否具有正态性的检验方法为（）A . 两独立样本比较的t检验B . u检验C . 方差齐性检验D . t＇检验E . 正态性检验

[单选题]证明一组数据的分布是否具有正态性的检验方法为（）A.样本均数与总体均数的t检验B.μ检验C.方差齐性检验D.t′检验E.正态性检验