早教吧考试题库频道 --> 计算机类考试 -->计算机三级 -->
证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些命题不成立,就能保
题目
证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。
参考答案
正确答案：归纳断言法
归纳断言法
归纳断言法
看了证明程序正确最常用的方法是__...的网友还看了以下：
一道七年级的文学常识题我做试卷时想不出来,帮个忙有一部伟大的小说,曾经影响了中国几代人,它告诉我们" 其他 2020-03-30 …
（十八）泥石流是我国一种多发的地质灾害，常对人民的生命财产安全构成极大的威胁。读图文资料，回答问题 语文 2020-05-15 …
在高级语言源程序中,常需要用户定义的标识符为程序中的对象命名,常见的命名对象有( ) ①关键字( 计算机类考试 2020-05-26 …
在高级语言源程序员,常需要用户定义的标识符程序员的对象命名,常见的命名对象有( )。 ①关键字(或 计算机类考试 2020-05-26 …
作文要怎么样写呢?一、审题这是写作文首先要做好的事,否则,就会直接导致“文不对题”,“下笔千言,离 语文 2020-06-22 …
命题的运算若P,Q是两个简单命题,且"P或Q"的否定是真命题,则必有()AP真Q真BP假Q真CP真 其他 2020-08-01 …
泥石流是我国一种多发的地质灾害，常对人民的生命财产安全构成极大的威胁。读图文资料，回答问题。（10分 语文 2020-12-14 …
泥石流是我国一种多发的地质灾害，常对人民的生命财产安全构成极大的威胁．读图文资料，回答问题．一批地理 其他 2020-12-14 …
阅读下文，回答1-5题。生命常常是如此之美（1）每天下午，接上孩子之后，我都要带着他在街上溜达一圈。 语文 2020-12-20 …
阅读《生命常常是如此之美》，完成问题。（1）每天下午，接上孩子之后，我都要带着他在街上溜达一圈。闲走 语文 2020-12-20 …