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

admin2020-02-10 49

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

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

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

政府对本国的进出口贸易进行干预的各项措施中，把对出口产品征收的消费税和增值税予以退还的方式，属于()。

主要用于收集处于某一时点状态上的社会经济现象的基本全貌，为国家制定有关政策提供依据的统计调查方式是()。

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

下列各项中属于收文处理程序的是()。

省政府办公厅要求各级各部门领导干部深入基层、走近群众开展春节慰问活动，秘书小王起草公文，他使用的公文文种应是()。

女婴，4个月。腹泻、中度脱水，经静脉补液后脱水纠正，突然出现精神萎靡，嗜睡，呼吸变浅，心率140次/分，心音低钝腹胀，膝反射未引出。血清钠145mmol/L，钾2mmol/L，ECG示窦性心动过速，T波低平

Theeyesarethemostimportant【61】ofhumanbodythatisusedto【62】information.Eyecontactiscrucialforestablishin

肺部触诊，可见语颤增强的是

A．使君子B．鹤草芽C．仙鹤草D．苦楝皮E．雷丸有效成分不溶于水，不宜入煎剂的是()。

下列各项．不属于Windows窗口标题栏项目的是()。

申请四星级以上的饭店，应按级别原则逐级递交申请资料。()

在计算机检索中，同一概念的同义词扩展方法不包括()。

土地资源的特性之中不包括（）。

以下不是数据链路层需要实现的功能是()。