首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
财经
自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。
自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。
admin
2020-02-10
30
问题
自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。
选项
A、实例推广
B、程序转化
C、过程实现
D、演绎综合
答案
D
解析
演绎综合的理论基础是，数学定理的构造式证明可等价于程序推导。对要生成的程序，用户给出它的输入、输出数据必须满足的条件，条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入，要求定理证明程序证明存在一个满足榆出条件的输出，从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实，但迄今只析取出一些较小的样例，较难用于较大规模的程序。
转载请注明原文地址:https://kaotiyun.com/show/jccc777K
本试题收录于：
综合知识题库银行系统招聘考试分类
0
综合知识
银行系统招聘考试
相关试题推荐
宏观调控的经济政策目标之间存在一定的矛盾和冲突，因此，政府应该对政策目标进行选择。当经济运行处于衰退状态且出现经济停滞时，政府应该()。
下列关于收入的说法中，错误的是()。
某年世界出口贸易额为1．6万亿美元，进口贸易额为1．7万亿美元，该年国际贸易额为()。
【工商银行】我国的支付清算体系以中国人民银行()为中枢，银行业金融机构行内业务系统为基础。
【中信银行】银行的储蓄程序属于()
在计算机系统中，英文缩写的I／O字母是指()。
下列诸因素中，对微型计算机工作影响最小的是()。
在我国加入WTO后的今天，外资银行已经逐步突破地域、业务等限制进人我国市场。外资银行在我国拓展业务，由于对国情、民情和金融法规不甚了解，难以准确把握市场信息。外资银行把握市场信息的捷径就是实现管理人员的“本土化”。外资银行用优厚的薪酬待遇、优越的工作环境、
某公司赊销积压的原材料一批，增值税专用发票上注明售价20000元，增值税税额3400元，下列会计分录中，错误的有()。
下列属于反映企业财务状况的会计要素是()。
随机试题
男，26岁。举重物时突发胸痛，进行性呼吸困难急诊就诊。既往体健。胸片如图，右肺中、外带无肺纹理。对上述患者应采取的最佳措施是【】
瘤胃蠕动次数稀少，力量微弱，一般与()无关
为防止锅炉炉膛爆炸，对燃油、燃气和煤粉锅炉，正确的点火程序是()
钢网架结构要求所测定挠度值不应超过相应设计值的1．15倍，挠度值测量应分别在工序()完成时进行。
下列不属于行为事件面谈法优点的是()。
根据财务制度的规定，银行业的固定资本比率的最高限额为()。
2013年春节期间的一天下午，C市法院法警大队副队长杨某与行政庭副庭长敖某等一行四人，身着警服、驾驶警车来到街心路口，见大街上人多车挤，便拉开警笛借人行道穿行向前。由于车速过快，将停在路边下客的一辆新“的士”的车门刮破一道口。“的士”司机上前理论，杨某称：
关于我国兵役制度，下列表述错误的是：
中国人民抗日战争胜利的最根本原因是()
Whyisn’tthewomangoingtothemovie?
最新回复
(
0
)
