首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
财经
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
admin
2020-02-10
37
问题
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
选项
A、实例推广
B、程序转化
C、过程实现
D、演绎综合
答案
D
解析
演绎综合的理论基础是,数学定理的构造式证明可等价于程序推导。对要生成的程序,用户给出它的输入、输出数据必须满足的条件,条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入,要求定理证明程序证明存在一个满足榆出条件的输出,从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实,但迄今只析取出一些较小的样例,较难用于较大规模的程序。
转载请注明原文地址:https://kaotiyun.com/show/nScc777K
本试题收录于:
综合知识题库银行系统招聘考试分类
0
综合知识
银行系统招聘考试
相关试题推荐
下列投资方式中,属于国际直接投资的是()。
实施价格歧视的基本条件包括()。
政府对本国的进出口贸易进行干预的各项措施中,把对出口产品征收的消费税和增值税予以退还的方式,属于()。
以动作活动的方式固定下来的经验系统是()。
公文中一般不采用的表达方式是()。
下列各项中属于收文处理程序的是()。
随机试题
以下哪些情形下公务员应当回避?()
甲公司2019年11月10日与乙公司签订一项生产线维修合同。合同规定,该维修总价款为100万元,合同期为6个月。合同签订日预收价款50万元,至12月31日,已实际发生维修费用35万元,预计还将发生维修费用15万元。甲公司按实际发生的成本占总成本的比例确定劳
甲公司是季节性生产企业,波动性流动资产等于经营性流动负债和短期金融负债之和。下列关于甲公司营运资本筹资政策的说法中正确的有()。
DOUBTSONHEALTHBENEFITS’CLAIMSArehealthfoodbarsreallygoodforyou?ArecentanalysisbyDietandHealthmagazinefai
德育的形式有()。
因产品质量不合格造成他人财产、人身损害而提起的诉讼,下列哪些地区的人民法院具有管辖权()
关键字ASC和DESC分别表示【】的含义。
Iftherearemoreanimalsinacertainareathan______tosupportthem,someoftheanimalsmustmigrateorstarve.
It(was)inthisschool(where)he(hadstudied)(for)fouryears.
月光族中国经济的高速发展,带来了消费文化的日益流行,同时也催生了一批具有高学历,充分享受资本主义消费模式的年轻人,他们习惯于当月工资当月花。因而被称为“月光族”。“月光族”一词出现于20世纪90年代,是用来讽刺那些出身富裕、接受高等教育、享受
最新回复
(
0
)