首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些命题不成立,就能保证程序不发生错误。
证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些命题不成立,就能保证程序不发生错误。
admin
2009-07-15
28
问题
证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些命题不成立,就能保证程序不发生错误。
选项
答案
归纳断言法
解析
转载请注明原文地址:https://kaotiyun.com/show/H7fZ777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
关于分布式结构化P2P网络的描述中,正确的是()。
用户进程从用户态转变为内核态时,使用的指令是()。
关于IP数据报格式的描述中,错误的是()。
关于数据报交换与虚电路交换的描述中,正确的是()。
在有N个缓冲区的生产者消费者的问题中,下列叙述中哪些是错误的?()producer(){intitem;while(TRUE){item=produce_itern();P(empty);P(mut
在访问Web站点时,为了防止第三方偷看传输的内容,我们可以采取的行动为()。
以下哪些不是IP互联网具有的特点?()
在下面列出的计算机操作中,只能在操作系统内核态下运行的是()。
SMTP邮件传递过程可以分为3个阶段,它们是()。
信息安全就是要防止非法攻击和病毒的传播,保障电子信息的有效性,从具体的意义上来理解,需要保证哪几个方面的内容?
随机试题
公安专业工作主要包括()。
婴儿腹泻的治疗原则,哪项不正确
水中毒对患者危害最大的是
某患者因急性阑尾炎穿孔手术,切除术后6天,腹部胀痛不适,呈持续性,伴恶心呕吐,未排便排气。查体:全腹膨胀,肠鸣音消失,腹部X线平片,小肠及结肠均有多量充气及液气平面,进一步应采取
根据《工程网络计划技术规程》(JGJ/T121——99),在双代号网络计划中是()。
中国公民方某为某出版社专业作家,月工资3000元。2008年12月该出版社出版了方某的中篇小说,支付稿费4000元,同月方某从电视剧制作中心获得剧本使用费20000元。2008年12月方某应缴纳个人所得税()元。
政府从私人部门获得的强制性资金转移是指()。
下列观点不属于达尔文进化理论的是()。
DQDB同时支持(21)两种服务。DQDB子网的双总线结构由(22)总线以及接在这两条总线上的大量节点组成。DQDB网络为双总线提供了(23)访问控制方式,其中能够提供非等时服务的是(24),它用于(25)业务。
以下叙述中正确的是
最新回复
(
0
)