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

admin2020-02-10 21

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

下列关于我国股份制商业银行的作用叙述正确的有()。

关于全要素生产率，以下说法错误的是()。

公文在时间表述上务求准确．要尽量避免使用的笼统词语包括()。

发文处理程序具有很强的确定性与不可逆性，以下各阶段的先后排序应为()。

在公告的总体结构中，可以没有的一部分是()。

下面不属于规范性公文正本特殊形式的是()。

下面什么促销方法有利于搞好企业与外界的关系，在公众中树立良好的企业形象，但其促销效果难以把握?()

对近代中国民族工业出现短暂“春天”的原因表述，不正确的是()。

电子政务在实现资源共享的同时，可以从根本上规范政府行为，避免暗箱操作，减少()。

企业有关项目月末余额情况如下：“原材料”借方64000元，“库存商品”借方71000元，“生产成本”借方120000元，“材料成本差异”贷方21000元，则月末资产负债表中存货项目期末余额一栏数字应填列()元。

1)theGrammar-TranslationMethod2)theDirectMethod3)theAudiolingualMethod4)

舌癌的远处转移最多见于

八正散的功用五苓散的功用()

妊娠末期肺内功能残气量减少

资产组的认定，应当以能否独立生产产品为依据，如果几项资产的组合能独立生产产品，则应当将这些资产的组合认定为资产组。()

关于对纳税人、扣缴义务人未缴少缴税款的追征制度，下列说法正确的是()。

继发性龋形成的原因如下，除外()。

产品/服务资源的生命周期有四个阶段，分别是需求、获取、经营和管理、回收或分配。其中决定需要多少产品和资源，获取它们的计划，以及执行计划要求的度量和控制的阶段是

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

综合知识

银行系统招聘考试

下列关于我国股份制商业银行的作用叙述正确的有()。

关于全要素生产率，以下说法错误的是()。

公文在时间表述上务求准确．要尽量避免使用的笼统词语包括()。

发文处理程序具有很强的确定性与不可逆性，以下各阶段的先后排序应为()。

在公告的总体结构中，可以没有的一部分是()。

下面不属于规范性公文正本特殊形式的是()。

下面什么促销方法有利于搞好企业与外界的关系，在公众中树立良好的企业形象，但其促销效果难以把握?()

对近代中国民族工业出现短暂“春天”的原因表述，不正确的是()。

电子政务在实现资源共享的同时，可以从根本上规范政府行为，避免暗箱操作，减少()。

企业有关项目月末余额情况如下：“原材料”借方64000元，“库存商品”借方71000元，“生产成本”借方120000元，“材料成本差异”贷方21000元，则月末资产负债表中存货项目期末余额一栏数字应填列()元。

1)______theGrammar-TranslationMethod2)______theDirectMethod3)______theAudiolingualMethod4)______

舌癌的远处转移最多见于

八正散的功用五苓散的功用()

妊娠末期肺内功能残气量减少

资产组的认定，应当以能否独立生产产品为依据，如果几项资产的组合能独立生产产品，则应当将这些资产的组合认定为资产组。()

关于对纳税人、扣缴义务人未缴少缴税款的追征制度，下列说法正确的是()。

继发性龋形成的原因如下，除外()。

产品/服务资源的生命周期有四个阶段，分别是需求、获取、经营和管理、回收或分配。其中决定需要多少产品和资源，获取它们的计划，以及执行计划要求的度量和控制的阶段是

1)theGrammar-TranslationMethod2)theDirectMethod3)theAudiolingualMethod4)