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

admin2020-02-10 86

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

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

以下各选项中，应用最广泛的统计离散程度的测度方法是()。

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

人们在一定社会条件下进行的实践活动()。

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

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

省政府办公厅要求各级各部门领导干部深入基层、走近群众开展春节慰问活动，秘书小王起草公文，他使用的公文文种应是()。

()是按公文内容的处理要求分类的。

在熬制沥青时，沥青装锅量不得超过锅容量的2／3。

女性，45岁，贫血4年，因水肿就诊。检查：血压150/105mmHg，尿蛋白(++)，血红蛋白80g/L，血Cr220μmol/L该病人最可能的诊断是（）

患者，男，患慢性胆囊炎，其向护士复述胆囊造影检查前的饮食方法，其中应予以纠正的是()

在人寿保险客户服务中，业务量最大的服务是(　　)。

用益物权包括()等。

癔症是指()。

边际效用递减规律适用于所有商品吗?(2011年中国社会科学院经济学原理)

《奥德修纪》突出的主题是_______。

简述舒尔茨关于整合营销传播的八项基本原则。(复旦大学，2016)

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

综合知识

银行系统招聘考试

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

以下各选项中，应用最广泛的统计离散程度的测度方法是()。

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

人们在一定社会条件下进行的实践活动()。

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

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

省政府办公厅要求各级各部门领导干部深入基层、走近群众开展春节慰问活动，秘书小王起草公文，他使用的公文文种应是()。

()是按公文内容的处理要求分类的。

在熬制沥青时，沥青装锅量不得超过锅容量的2／3。

女性，45岁，贫血4年，因水肿就诊。检查：血压150/105mmHg，尿蛋白(++)，血红蛋白80g/L，血Cr220μmol/L该病人最可能的诊断是（）

患者，男，患慢性胆囊炎，其向护士复述胆囊造影检查前的饮食方法，其中应予以纠正的是()

在人寿保险客户服务中，业务量最大的服务是( )。

用益物权包括()等。

癔症是指()。

边际效用递减规律适用于所有商品吗?(2011年中国社会科学院经济学原理)

《奥德修纪》突出的主题是_______。

简述舒尔茨关于整合营销传播的八项基本原则。(复旦大学，2016)

在人寿保险客户服务中，业务量最大的服务是(　　)。