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

admin2021-12-03 63

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

国家行政机关利用公文表彰先进，这是公文()功能的体现。

企业要想更好地发展，就必须了解消费者的喜好，只要抓住了消费者的“胃口”。也就找到了企业成功的法宝。企业应该从()来分析，从而了解消费者。

如何理解金融机构是现代市场经济中一种特殊的企业?

基础头寸=库存现金+中央银行超额准备金。()

当前我国具有综合性审批控制职能的组织系统是人大及其常务委员会。()

试述中央银行的性质和职能及其在宏观经济中的地位与作用。

某公司老板与其职员签订劳动合同时附加如下条款：若该职员在本公司工作满1年，则加薪5％。则该行为属于()的法律行为。

“传统是一种巨大的阻力，是历史的惰性力，但是由于它只是消极的，所以一定要被摧毁”。这种观点是()。

狄更斯的成名作是，近似自传体的小说是__。

(2011年4月)简述出牛公证的办理条件。

下列哪一项是慢性病的三级防治策略

骨折近折段外展，外旋屈曲移位下肢短缩，外展，极度外旋位

有权指定交割仓库的是()。

试述情绪的认知理论。

设向量组α1，α3，α3线性无关，问常数a，b，c满足什么条件时，aα1-α2，bα2-α3，cα3-α1线性相关?

Themunicipalplanningcommissionsaidthattheirfinancialoutlookforthenextyearwasoptimistic.Theyexpectincreasedtax_

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

综合知识

银行系统招聘考试

国家行政机关利用公文表彰先进，这是公文()功能的体现。

企业要想更好地发展，就必须了解消费者的喜好，只要抓住了消费者的“胃口”。也就找到了企业成功的法宝。企业应该从()来分析，从而了解消费者。

如何理解金融机构是现代市场经济中一种特殊的企业?

基础头寸=库存现金+中央银行超额准备金。()

当前我国具有综合性审批控制职能的组织系统是人大及其常务委员会。()

试述中央银行的性质和职能及其在宏观经济中的地位与作用。

某公司老板与其职员签订劳动合同时附加如下条款：若该职员在本公司工作满1年，则加薪5％。则该行为属于()的法律行为。

“传统是一种巨大的阻力，是历史的惰性力，但是由于它只是消极的，所以一定要被摧毁”。这种观点是()。

狄更斯的成名作是__________，近似自传体的小说是____________。

(2011年4月)简述出牛公证的办理条件。

下列哪一项是慢性病的三级防治策略

骨折近折段外展，外旋屈曲移位下肢短缩，外展，极度外旋位

有权指定交割仓库的是()。

试述情绪的认知理论。

设向量组α1，α3，α3线性无关，问常数a，b，c满足什么条件时，aα1-α2，bα2-α3，cα3-α1线性相关?

Themunicipalplanningcommissionsaidthattheirfinancialoutlookforthenextyearwasoptimistic.Theyexpectincreasedtax_

狄更斯的成名作是，近似自传体的小说是__。