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

admin2020-02-10 56

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

下列投资方式中，属于国际直接投资的是()。

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

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

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

以动作活动的方式固定下来的经验系统是()。

下列各项中属于收文处理程序的是()。

对于Spring和Struts的集成，下列说法错误的是().

下列关于各类血管功能特点的叙述，正确的是()

根据《会计档案管理办法》的规定，会计档案保管期满需要销毁的，应当编制会计档案销毁清册。会计档案销毁清册的保管期限为()。

1，3，0，6，10，9，()。

在科技界也同样存在着性别歧视，《科技时报》报道，在过去的二十年间，女性从事科技工作的人数虽然有所增长，但是在各类科技奖项的评选中，男女获奖比例仅为12：1。以下哪项对上述论断提出最有力的质疑？

Whichofthefollowingabout"PathtoGrowth"strategyistrue?Unilever’sCFOthinksthatWood’scommentsare

A、 B、 C、 A

Thechildwillgetsomewhere______leftuncaredfor.