首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
财经
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
admin
2020-02-10
31
问题
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
选项
A、实例推广
B、程序转化
C、过程实现
D、演绎综合
答案
D
解析
演绎综合的理论基础是,数学定理的构造式证明可等价于程序推导。对要生成的程序,用户给出它的输入、输出数据必须满足的条件,条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入,要求定理证明程序证明存在一个满足榆出条件的输出,从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实,但迄今只析取出一些较小的样例,较难用于较大规模的程序。
转载请注明原文地址:https://jikaoti.com/ti/bCQQFFFM
本试题收录于:
综合知识题库银行系统招聘考试分类
0
综合知识
银行系统招聘考试
相关试题推荐
实施价格歧视的基本条件包括()。
政府对本国的进出口贸易进行干预的各项措施中,把对出口产品征收的消费税和增值税予以退还的方式,属于()。
以动作活动的方式固定下来的经验系统是()。
下列各项中属于收文处理程序的是()。
以下注意事项为批办工作中特别强调要求做到的是()。
省政府办公厅要求各级各部门领导干部深入基层、走近群众开展春节慰问活动,秘书小王起草公文,他使用的公文文种应是()。
在下行文中提出执行要求时,要使受文者不折不扣执行文件,应写作()。
随机试题
关于用肾上腺糖皮质激素治疗迟发性哮喘的机制,下列哪项不正确
质量计划的作用通常不包括
下列不符合腹型过敏性紫癜临床表现的是
A.氟伐他汀B.非诺贝特C.考来烯胺D.阿昔莫司E.依折麦布以高TG为主血症()
工程造价的有效控制,就是在优化建设方案、设计方案的基础上,采用一定的方法和措施对造价进行控制,下列说法不正确的是( )。
所有错账更正法,均应由记账人员及相关人员在账簿记录更正处盖章以示负责。()
承担支持农业政策性贷款任务的政策性银行是()
结合自己的工作实际,谈谈在今后的工作中如何做到依法执教。
谈谈你的面试表现。
能源短缺已成为世界性的大问题。作为新能源,海洋能日益受到人们的关注。下列有关海洋能的表述,错误的是()。
最新回复
(
0
)