首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
财经
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
admin
2020-02-10
45
问题
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
选项
A、实例推广
B、程序转化
C、过程实现
D、演绎综合
答案
D
解析
演绎综合的理论基础是,数学定理的构造式证明可等价于程序推导。对要生成的程序,用户给出它的输入、输出数据必须满足的条件,条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入,要求定理证明程序证明存在一个满足榆出条件的输出,从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实,但迄今只析取出一些较小的样例,较难用于较大规模的程序。
转载请注明原文地址:https://jikaoti.com/ti/5CQQFFFM
本试题收录于:
综合知识题库银行系统招聘考试分类
0
综合知识
银行系统招聘考试
相关试题推荐
下列投资方式中,属于国际直接投资的是()。
实施价格歧视的基本条件包括()。
政府对本国的进出口贸易进行干预的各项措施中,把对出口产品征收的消费税和增值税予以退还的方式,属于()。
企业提供的会计信息应当反映与企业财务状况、经营成绩和现金流量有关的所有重要交易或者事项,是企业会计信息质量的()要求。
公文中一般不采用的表达方式是()。
下列各项中属于收文处理程序的是()。
发文处理程序具有很强的确定性与不可逆性,以下各阶段的先后排序应为()。
()是按公文内容的处理要求分类的。
在下行文中提出执行要求时,要使受文者不折不扣执行文件,应写作()。
随机试题
公安机关在侦查案件的过程中,对犯罪嫌疑人的存款、汇款:
一般说,知识的理解性与过去经验无关。
以下哪个药物具有中枢作用和抗胆碱作用
开放式基金合同生效后,可以在规定的期限内只接受申购,不办理赎回,但最长不得超过( )个月。
申购新股型理财计划属于()。
东方朔画赞碑存于德州陵县文博苑内,为我国唐代大书法家()的盛年代表之作,历代名家评价很高。
车灯或路灯一般为(),这是因为它()。
某乡进行人大代表的选举。某村作为一个选区,应选乡人大代表3人。因实行差额选举,代表候选人最多为6人。该村选民李某等15人拟联合提出代表候选人。他们可以提出的候选人数目是()。
Whatisthepassagemainlyabout?
Startingafamilysosoonwoulddefinitely______hercareerprospectsforher.
最新回复
(
0
)