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

admin2021-12-03 32

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

近年来，在合并农村信用社的基础上组建而成的农村金融机构有()。

已知某公司股票的β系数为0．5，短期国债收益率为6％，市场组合收益率为10％，则该公司股票的必要收益率为()。

商业银行经营风险是指商业银行在经营活动中，因不确定因素的影响使商业银行遭受损失的可能性。()

从20世纪60年代开始，邓小平同志通过不断探索，在1992年南方谈话中．他将社会主义本质概括为：“社会主义的本质，是解放生产力，发展生产力，消灭剥削，消除两极分化，最终达到共同富裕。”这一概括的理论意义在于()。

毛泽东思想的活的灵魂之一“实事求是”基本要求是()。

【光大银行】计算机网络由通信子网和资源子网组成。()

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

股份有限公司向社会公开发行股票时，必须经过国务院证券监督管理机构或国务院授权的部门的审批。()

汇出行用加押电传或SWIFT(环球银行间金融电讯网络)形式，指示汇入行付款给指定收款人的汇款形式称为()。

认为“罗马的政体是最能体现制衡原理”的思想家是

一男性患者，20岁，3年来发生多次骨折，并伴有关节疼痛，肝、肾功能正常，超声检查见左侧叶甲状腺下极背侧有一1．0cm×1．5cm的低回声结节，包膜完整，血供丰富，其最可能是

关于现浇混凝土结构的模块和支架施工的说法，正确的是：

根据有关规定，票据和结算凭证金额以中文大写和阿拉伯数码同时记载，二者必须一致，二者不一致的票据()。

将下列选项中的词语依次填入各句横线处，最恰当的一组是：①两国的期满，将于今年的八月再次签订。②有问题可以解决嘛，千万别伤了和气。③美伊双方达成，停战后美国

简述宋杂剧的结构特点及元杂剧的代表人物和作品。

今天是植树节，一群小学生去植树，如果每人植5棵树，还剩3棵树没人植；如果其中两人各植4棵树，其余的人各植6棵树，就恰好植完所有的树。问：一共有树多少棵?()

轮胎：汽车

知觉定势

A、Takeawalkinthedesert.B、GotoacinemaC、WatchTVprogrammes.D、Attendaparty.A选项是四种活动，可猜测问的是老师或学生的活动。原文说该学院的学生不想看书、谈话、

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

综合知识

银行系统招聘考试

近年来，在合并农村信用社的基础上组建而成的农村金融机构有()。

已知某公司股票的β系数为0．5，短期国债收益率为6％，市场组合收益率为10％，则该公司股票的必要收益率为()。

商业银行经营风险是指商业银行在经营活动中，因不确定因素的影响使商业银行遭受损失的可能性。()

从20世纪60年代开始，邓小平同志通过不断探索，在1992年南方谈话中．他将社会主义本质概括为：“社会主义的本质，是解放生产力，发展生产力，消灭剥削，消除两极分化，最终达到共同富裕。”这一概括的理论意义在于()。

毛泽东思想的活的灵魂之一“实事求是”基本要求是()。

【光大银行】计算机网络由通信子网和资源子网组成。()

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

股份有限公司向社会公开发行股票时，必须经过国务院证券监督管理机构或国务院授权的部门的审批。()

汇出行用加押电传或SWIFT(环球银行间金融电讯网络)形式，指示汇入行付款给指定收款人的汇款形式称为()。

认为“罗马的政体是最能体现制衡原理”的思想家是

一男性患者，20岁，3年来发生多次骨折，并伴有关节疼痛，肝、肾功能正常，超声检查见左侧叶甲状腺下极背侧有一1．0cm×1．5cm的低回声结节，包膜完整，血供丰富，其最可能是

关于现浇混凝土结构的模块和支架施工的说法，正确的是：

根据有关规定，票据和结算凭证金额以中文大写和阿拉伯数码同时记载，二者必须一致，二者不一致的票据()。

将下列选项中的词语依次填入各句横线处，最恰当的一组是：①两国的________________期满，将于今年的八月再次签订。②有问题可以________________解决嘛，千万别伤了和气。③美伊双方达成________________，停战后美国

简述宋杂剧的结构特点及元杂剧的代表人物和作品。

今天是植树节，一群小学生去植树，如果每人植5棵树，还剩3棵树没人植；如果其中两人各植4棵树，其余的人各植6棵树，就恰好植完所有的树。问：一共有树多少棵?()

轮胎：汽车

知觉定势

A、Takeawalkinthedesert.B、GotoacinemaC、WatchTVprogrammes.D、Attendaparty.A选项是四种活动，可猜测问的是老师或学生的活动。原文说该学院的学生不想看书、谈话、

将下列选项中的词语依次填入各句横线处，最恰当的一组是：①两国的期满，将于今年的八月再次签订。②有问题可以解决嘛，千万别伤了和气。③美伊双方达成，停战后美国