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

admin2020-02-10 82

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

国债收入是指国家通过信用方式取得的收入，其具有的特点是()。

下列投资方式中，属于国际直接投资的是()。

实施价格歧视的基本条件包括()。

企业提供的会计信息应当反映与企业财务状况、经营成绩和现金流量有关的所有重要交易或者事项，是企业会计信息质量的()要求。

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

以下各选项中，应用最广泛的统计离散程度的测度方法是()。

人们在一定社会条件下进行的实践活动()。

关于静脉曲张下肢溃疡的处理哪项不正确

A．甲状腺球蛋白B．乙酰胆碱受体C．红细胞D．甲状腺细胞表面TSH受体E．肾上腺皮质细胞Grave病的自身抗原是

A、挥发B、霉变C、沉淀D、虫蛀E、酸败合剂在贮存中常见的变质现象是

地下爆破应有良好照明,但距爆破作业面10m范围内照明电压不应超过()。

属于下行文的公文是()。

__________是陆文夫的小说。

修改表结构只能在()。

用“综合业务数字网”(又称“一线通”)接人互联网的优点是上网通话两不误，它的英文缩写是()。

WhyareLondontaxidriversveryefficient?

Jowasthebeststudentinclass.Thegirlsdidn’tlikeJoanymoreafterhismotherdied.