自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。

admin2021-12-03 53

问题自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。

选项 A、实例推广
B、程序转化
C、过程实现
D、演绎综合

答案D

解析演绎综合的理论基础是，数学定理的构造式证明可等价于程序推导。对要生成的程序。用户给出它的输入、输出数据必须满足的条件，条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实，但迄今只析取出一些较小的样例，较难用于较大规模的程序。

转载请注明原文地址:https://kaotiyun.com/show/g9Sc777K

本试题收录于：综合知识题库银行系统招聘考试分类

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。

综合知识

银行系统招聘考试

如果甲商品和乙商品是互补商品，则甲商品价格下降将造成()。

实施价格歧视的基本条件包括()。

在Word编辑状态下，移动鼠标光标至某段左侧，当鼠标光标变成箭头时连击3下，将会选中()。

下列机关之间进行工作联系应当使用函的是()。

甲公司是一家主营国内旅游的旅游公司，下列因素中属于影响甲公司的宏观环境因素的有()。

简述商业银行贷款的五级分类。

商业银行经营风险是指商业银行在经营活动中，因不确定因素的影响使商业银行遭受损失的可能性。()

我国正式加入世界贸易组织的日期是()。

延安整风运动中，毛泽东提出的做好调查研究工作必须注意的两个问题是()。

金融犯罪突出的客观特征是()。

图中警察手势为直行信号。

男性，40岁。因风心，心力衰竭服地高辛治疗中，心电图检查为阵发性室上性心动过速伴2：1房室传导阻滞，心室率为100次／min。诊断为洋地黄过量。除停用洋地黄外，应选用哪种药物治疗

中国甲公司与某国乙公司发生买卖合同纠纷，在中国仲裁过程中，乙公司申请财产保全，即要求扣押甲公司在某港口的一批机器设备。仲裁委员会对此申请应如何处理？

钢筋原材料进场验验项目中，热轧圆盘条、热轧光圆钢筋、热轧带肋钢筋、余热处理钢筋的检验项目有外观检查、极限抗拉强度、()、伸长率、冷弯试验。

上海滨江、滨海资源十分丰富，整个海岸线长达180公里。()

贯彻新课程“以人为本”的教育理念首先应做到()。

爬行动物不是两栖动物，两栖动物都是卵生的，所以凡是卵生的动物都不是爬行动物。以下选项与题干推理形式相同的是()。

要在网络上发布彩色动画文件，可以采用的存储格式是______。

FightinginNatureInnature,fightingissuchanever-presentprocessthatitsbehaviormechanismsandweaponsarehighlydevel