早教吧考试题库频道 --> 计算机类考试 -->计算机三级 -->
程序正确性证明最常用的方法是【】,它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证
题目
程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
参考答案
正确答案：归纳断言法
归纳断言法
归纳断言法
看了程序正确性证明最常用的方法是【...的网友还看了以下：
心脏的瓣膜只能朝一个方向打开，这就保证了血液流动的方向是（）A.由心室→心房→动脉B.由心室→心房 语文 2020-05-13 …
小丑不倒的类似现象小丑的鞋很大，无论他如何跌撞，重心的垂直线都在鞋的支撑面范围内，或者说是在两只脚 其他 2020-06-26 …
在一块半导体基板上阵列了10万金属颗粒，每一颗粒充当电容器的一极，外表面绝缘，手指贴在其上构成电容 物理 2020-07-11 …
如图表示某同学做“绿叶在光下制造有机物”实验的装置，据图回答问题．（1）大烧杯中的液体是，该液体的沸 化学 2020-10-30 …
心脏的瓣膜只能向一个方向打开，这就保证了心脏内血液的流动方向只能是（）A.心室→心房→动脉B.心室→ 语文 2020-12-10 …
假定一只鳄鱼咬住你的脚，如果你试图用手去解救，鳄鱼便会同时咬住你的脚与手。你越挣扎，被咬住的就越多， 政治 2020-12-12 …
下列各句中，合逻辑的一句是A.给病人做手术，过去由医生个人决定，现在规定重大手术需经集体讨论决定，这 其他 2020-12-23 …
下列各句中，没有语病的一句是()A．给病人做手术，过去由医生个人决定，现在规定：重大手术在依法办理相 语文 2020-12-23 …
下列句子没有语病的一句是A.去年的学习成绩和今年的比较起来大不相同B.给病人做手术，过去由医生个人决 其他 2020-12-23 …
下列各句中，没有语病的一句是（）A.此番英文版歌剧《红楼梦》的演出，并不是由国内的团队完成翻译的，而 语文 2020-12-29 …