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

admin2021-12-03 78

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

参与银团贷款的银行均为银团贷款成员，银团贷款成员按照()原则自主确定各自授信行为，并按实际承诺份额享有银团贷款项下相应的权利、义务。

在Excel中，使用格式刷将格式样式从一个单元格传送到另一个单元格，其步骤为()。(1)选择新的单元格并单击它(2)选择想要复制格式的单元格(3)单击“常用”工具栏的“格式刷”按钮

具有较高增长率和较高市场占有率的经营单位是()。

普惠制的作用是鼓励进口商多买受惠国商品，从而使受惠国的出口商少缴纳关税而达到扩大出口的目的。()

中国共产党同其他一切剥削阶级政党的根本区别是()。

某股份公司因破产进行清算，公司财产在支付完破产费用后，其偿付的优先顺序依次是优先股股东、债权人、普通股股东。()

会计主体与法律主体是一个概念，二者没有区别。()

国家安全生产监督管理局是国务院组成部门。()

以下关于网络打印和共享打印的说法中，正确的是()。

研究投资者在投资过程中产生的心理障碍以及如何保证正确的观察视角的证券投资分析流派是()。

A．影响吸收B．影响代谢C．增加排泄D．影响分布E．减少排泄中西药联用时，麻仁丸与红霉素合用，可发生的药动学相互作用是()。

依据我国《物权法》的规定，下列情况成立善意取得的有：()。

被告人某甲将某乙骗至一无人居住房屋内，将某乙杀害。为了毁尸灭迹，又将房屋烧毁。在人民法院审判这个案件时，下列说法中正确的是()。

企业从外单位取得的原始凭证遗失且无法取得证明的，可由当事人写明详细情况，由会计机构负责人、会计主管人员和单位负责人批准后代作原始凭证。()

根据房产税相关规定，下列房产可免征房产税的有()。

在观察蚯蚓运动的实验中，要经常用浸湿的棉球轻擦蚯蚓体表，使其体表保持湿润。这样做的目的是()。

附属内驱力

一些少数民族近年来调整发展思路．经济实现了由畜牧业主导向工业主导的历史性转变。牧民们结束了“_”“穹庐帷帐”的游牧生活，住进了砖瓦房，各类设施、电器_。填入画横线部分最恰当的一项是()。

求幂级数的收敛域与和函数，并求的和。

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

综合知识

银行系统招聘考试

参与银团贷款的银行均为银团贷款成员，银团贷款成员按照()原则自主确定各自授信行为，并按实际承诺份额享有银团贷款项下相应的权利、义务。

在Excel中，使用格式刷将格式样式从一个单元格传送到另一个单元格，其步骤为()。(1)选择新的单元格并单击它(2)选择想要复制格式的单元格(3)单击“常用”工具栏的“格式刷”按钮

具有较高增长率和较高市场占有率的经营单位是()。

普惠制的作用是鼓励进口商多买受惠国商品，从而使受惠国的出口商少缴纳关税而达到扩大出口的目的。()

中国共产党同其他一切剥削阶级政党的根本区别是()。

某股份公司因破产进行清算，公司财产在支付完破产费用后，其偿付的优先顺序依次是优先股股东、债权人、普通股股东。()

会计主体与法律主体是一个概念，二者没有区别。()

国家安全生产监督管理局是国务院组成部门。()

以下关于网络打印和共享打印的说法中，正确的是()。

研究投资者在投资过程中产生的心理障碍以及如何保证正确的观察视角的证券投资分析流派是()。

A．影响吸收B．影响代谢C．增加排泄D．影响分布E．减少排泄中西药联用时，麻仁丸与红霉素合用，可发生的药动学相互作用是()。

依据我国《物权法》的规定，下列情况成立善意取得的有：()。

被告人某甲将某乙骗至一无人居住房屋内，将某乙杀害。为了毁尸灭迹，又将房屋烧毁。在人民法院审判这个案件时，下列说法中正确的是()。

企业从外单位取得的原始凭证遗失且无法取得证明的，可由当事人写明详细情况，由会计机构负责人、会计主管人员和单位负责人批准后代作原始凭证。()

根据房产税相关规定，下列房产可免征房产税的有()。

在观察蚯蚓运动的实验中，要经常用浸湿的棉球轻擦蚯蚓体表，使其体表保持湿润。这样做的目的是()。

附属内驱力

一些少数民族近年来调整发展思路．经济实现了由畜牧业主导向工业主导的历史性转变。牧民们结束了“___________”“穹庐帷帐”的游牧生活，住进了砖瓦房，各类设施、电器___________。填入画横线部分最恰当的一项是()。

求幂级数的收敛域与和函数，并求的和。

一些少数民族近年来调整发展思路．经济实现了由畜牧业主导向工业主导的历史性转变。牧民们结束了“_”“穹庐帷帐”的游牧生活，住进了砖瓦房，各类设施、电器_。填入画横线部分最恰当的一项是()。