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

admin2021-12-03 41

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

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

答案D

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

转载请注明原文地址:https://jikaoti.com/ti/2HCQFFFM

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

开放经济条件下，宏观经济均衡的条件是()。

下列关于硬盘驱动器说法最合理的是()。

向最终消费者直接销售产品和服务，用于个人及非商业性用途的活动属于()。

论述商业银行资本金的构成及其作用。

如何从表外经营以及其他业务发展看我国银行业的竞争力?

借款人目前偿还贷款本息没有问题，但存在一些可能对偿还产生不利影响的因素，此种贷款是()。

关税与贸易总协定乌拉圭回合多边贸易谈判达成的《服务贸易总协定》依照服务的提供方式将国际服务贸易划分为()形式。

德国古典哲学是马克思主义哲学的直接理论来源。()

非物质文化遗产是指各族人民世代相承，与群众生活密切相关的，通过口头和动作传承的各种传统文化表现形式和文化空间。根据上述定义，下列属于我国非物质文化遗产的是()。

普通视图显示模式下，仍然可以看到页眉和页脚。()

Forthispart,youareallowed20minutestowriteashortpassageofabout100～120wordsonthetitle:OnFailure.Baseyourco

颈内动脉系统的TIA的表现包括（）

5岁男孩，出生后即发现左颊部和上下唇紫色肿物，弯腰时增大，听诊未闻杂音。其病理检查结果可能为

AS2O3细粉状的比粗粉状的毒性大，其毒效应受到哪种因素影响

一类高层电信建筑的耐火等级应为一级，二类高层电信建筑以及单层、多层电信建筑的耐火等级均不应低于二级，电信建筑地下室的耐火等级应为()。

【2012下】德育过程中，体现了马克思主义“一分为二”辩证法和认识论的德育原则是()原则。

刑罚的威慑功能所针对的对象是()。

在表设计器的“字段”选项卡中，字段有效性的设置项中不包括

______前には歯を磨くんですよ。