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

admin2020-02-10 34

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

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

政府对本国的进出口贸易进行干预的各项措施中，把对出口产品征收的消费税和增值税予以退还的方式，属于()。

主要用于收集处于某一时点状态上的社会经济现象的基本全貌，为国家制定有关政策提供依据的统计调查方式是()。

公文中一般不采用的表达方式是()。

以下注意事项为批办工作中特别强调要求做到的是()。

在下行文中提出执行要求时，要使受文者不折不扣执行文件，应写作()。

Hesleptinthe______ofthetreesonsuchahotday.

关于“适当的疗程”的说法正确的是（　　）。

A．分开存放B．分别储存、分类存放C．放置在合格库(区)D．放置在不合格库(区)医疗机构储存药品，应当按照药品属性和类别分库、分区、分垛存放，并实行色标管理医疗机构储存药品，药品与非药品应当()

争端解决机构应当在报告提出后的()日内通过该报告。

下列关于收入的说法正确的有()。

根据《建筑法》，申请领取施工许可证应当具备的条件包括()。

某企业出售一建筑物，账面原价100万元，已使用2年，已提取折旧10万元，出售时发生清理费用1万元，出售价格98万元。销售不动产的营业税税率5%。该企业出售此建筑物发生的净损益为()元。

根据以下资料，回答问题。2013年，我国进口商品总额达19499．9亿美元，同比增长7．24％。其中进口初级产品6580．8亿美元，同比增长3．65％；进口机电产品8401．2亿美元，同比增长7．32％。同年，机电产品出口12644．8亿美元，同

WhenNeilArmstrongandBuzzAldrinreturnedfromthemoon,theircargoincludednearlyfiftypoundsofrockandsoil,whichwer

下列各组件中，完全属于系统软件的一组是______。

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

综合知识

银行系统招聘考试

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

政府对本国的进出口贸易进行干预的各项措施中，把对出口产品征收的消费税和增值税予以退还的方式，属于()。

主要用于收集处于某一时点状态上的社会经济现象的基本全貌，为国家制定有关政策提供依据的统计调查方式是()。

公文中一般不采用的表达方式是()。

以下注意事项为批办工作中特别强调要求做到的是()。

在下行文中提出执行要求时，要使受文者不折不扣执行文件，应写作()。

Hesleptinthe______ofthetreesonsuchahotday.

关于“适当的疗程”的说法正确的是（ ）。

A．分开存放B．分别储存、分类存放C．放置在合格库(区)D．放置在不合格库(区)医疗机构储存药品，应当按照药品属性和类别分库、分区、分垛存放，并实行色标管理医疗机构储存药品，药品与非药品应当()

争端解决机构应当在报告提出后的()日内通过该报告。

下列关于收入的说法正确的有()。

根据《建筑法》，申请领取施工许可证应当具备的条件包括()。

某企业出售一建筑物，账面原价100万元，已使用2年，已提取折旧10万元，出售时发生清理费用1万元，出售价格98万元。销售不动产的营业税税率5%。该企业出售此建筑物发生的净损益为()元。

根据以下资料，回答问题。2013年，我国进口商品总额达19499．9亿美元，同比增长7．24％。其中进口初级产品6580．8亿美元，同比增长3．65％；进口机电产品8401．2亿美元，同比增长7．32％。同年，机电产品出口12644．8亿美元，同

WhenNeilArmstrongandBuzzAldrinreturnedfromthemoon,theircargoincludednearlyfiftypoundsofrockandsoil,whichwer

下列各组件中，完全属于系统软件的一组是______。

关于“适当的疗程”的说法正确的是（　　）。