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

admin2020-02-10 52

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

SendingE—mailstoProfessorsOnestudentskippedclassandthensenttheprofessorane-mail______(1)forcopiesofherteaching

Thecontempthefeltforhisfellowstudentswasobvious．

宏观调控的经济政策目标之间存在一定的矛盾和冲突，因此，政府应该对政策目标进行选择。当经济运行处于过热状态并导致严重的通胀时，政府应该()。

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

真正能够反映一个国家对外贸易实际规模的指标是()。

国际食品法典委员会第三十五届会议审查通过了液态婴儿配方食品中_二聚氰胺限量标准，具体为：液态婴儿配方食品中三聚氰胺限量()毫克／千克。

为缓解中小企业融资难的问题，某地方政府积极向金融机构推荐业绩优、成长好的小企业，解决了金融机构向小企业贷款过程中的信息不对称问题，实现了银行与小企业的互利双赢。这说明政府()。

数据管理技术的发展分为3个阶段，分别是人工管理阶段、阶段和阶段。

中国的瓷器驰名世界，传统陶瓷是以黏土等天然硅酸盐为主要原料烧成的制品，黏土的主要成分为Al2Si2O5(OH)4，而广泛用于航空的压电陶瓷材料是锆钛酸铅。下列有关说法错误的是()。

A．密蒙花B．淡竹叶C．决明子D．天花粉E．青葙子性寒，善清热生津，清肺润燥的是()。

房地产经纪人从事的房地产转让居间业务主要指()。

在使用示踪试验测定法确定混合系数时，所采用的示踪剂应满足()。

建设项目竣工财务决算应编制基本建设项目概况表，下列选项中应计入基本建设项目概况表“非经营性项目输出投资”的是()。【2014年真题】

某企业盘点中发现因自然灾害损失一台设备，原始价值50000元，已计提折旧10000元。根据事先签订的保险合同，保险公司应赔偿30000元，则扣除保险公司赔偿后剩余的损失10000元应计入()。

设有数据说明：intx，y，z，＊p＝x＆，＊Q＝＆y，＊r＝＆z；下面能将x，y值交换的程序段是()。

Beforerefrigerators,homesusuallyhadiceboxes.But【S1】______waytokeepfoodcoolwithouttheneedforelectricityistouse

A、Oneweek.B、Twoweeks.C、Threeweeks.D、Fourweeks.C细节题。对话中女士明确提到，他们会把电视送到工厂去修，需要三个星期(It’lltakethreeweeks)，故答案为C)。

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

综合知识

银行系统招聘考试

SendingE—mailstoProfessorsOnestudentskippedclassandthensenttheprofessorane-mail______(1)forcopiesofherteaching

Thecontempthefeltforhisfellowstudentswasobvious．

宏观调控的经济政策目标之间存在一定的矛盾和冲突，因此，政府应该对政策目标进行选择。当经济运行处于过热状态并导致严重的通胀时，政府应该()。

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

真正能够反映一个国家对外贸易实际规模的指标是()。

国际食品法典委员会第三十五届会议审查通过了液态婴儿配方食品中_二聚氰胺限量标准，具体为：液态婴儿配方食品中三聚氰胺限量()毫克／千克。

为缓解中小企业融资难的问题，某地方政府积极向金融机构推荐业绩优、成长好的小企业，解决了金融机构向小企业贷款过程中的信息不对称问题，实现了银行与小企业的互利双赢。这说明政府()。

数据管理技术的发展分为3个阶段，分别是人工管理阶段、__________阶段和__________阶段。

中国的瓷器驰名世界，传统陶瓷是以黏土等天然硅酸盐为主要原料烧成的制品，黏土的主要成分为Al2Si2O5(OH)4，而广泛用于航空的压电陶瓷材料是锆钛酸铅。下列有关说法错误的是()。

A．密蒙花B．淡竹叶C．决明子D．天花粉E．青葙子性寒，善清热生津，清肺润燥的是()。

房地产经纪人从事的房地产转让居间业务主要指()。

在使用示踪试验测定法确定混合系数时，所采用的示踪剂应满足()。

建设项目竣工财务决算应编制基本建设项目概况表，下列选项中应计入基本建设项目概况表“非经营性项目输出投资”的是()。【2014年真题】

某企业盘点中发现因自然灾害损失一台设备，原始价值50000元，已计提折旧10000元。根据事先签订的保险合同，保险公司应赔偿30000元，则扣除保险公司赔偿后剩余的损失10000元应计入()。

设有数据说明：intx，y，z，＊p＝x＆，＊Q＝＆y，＊r＝＆z；下面能将x，y值交换的程序段是()。

Beforerefrigerators,homesusuallyhadiceboxes.But【S1】______waytokeepfoodcoolwithouttheneedforelectricityistouse

A、Oneweek.B、Twoweeks.C、Threeweeks.D、Fourweeks.C细节题。对话中女士明确提到，他们会把电视送到工厂去修，需要三个星期(It’lltakethreeweeks)，故答案为C)。

数据管理技术的发展分为3个阶段，分别是人工管理阶段、阶段和阶段。