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

admin2021-12-03 42

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

假设Px和Py分别表示X和Y商品的价格，当边际替代率MRSxy＜Px／Py，消费者为达到最大效用，他将会()。

在Word编辑状态下，移动鼠标光标至某段左侧，当鼠标光标变成箭头时连击3下，将会选中()。

下列各项中，与丧失现金折扣的机会成本呈反向变化的是()。

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

简述商业银行贷款的五级分类。

总体而言，银行风险与预测有定量分析和定性分析两类手段。()

我国商业银行的组织形式是单一银行制。()

一国征收出口税的目的是()。

如果试算平衡表借贷平衡，则可以肯定记账无错误。()

用计算机进行病案管理，最重要的索引方法是

O型血清与AB型红细胞相遇时

一分子葡萄糖酵解时可净生成几分子ATP

下列有关工程费用的说法，正确的是()。

深圳光明眼镜公司(4402913091)委托深圳圳旺国际贸易公司(4402911616)进口一批镜框材料，装载该货物的运输工具于2004年9月13日申报进境，次日由深圳巨龙报关公司向深圳海关申报。“贸易方式”栏应填()。

己注册会计师负责对F公司2×10年度财务报表进行审计。在业务承接和制定审计计划过程中，己注册会计师遇到以下事项，请代为做出正确的专业判断。己注册会计师执行的下列程序中，属于具体审计计划内容的有()。

美联储对美国的经济、金融政策尤其是货币政策具有决定性的重要作用。在我国，类似美联储的机构是()。

Whilemostpetsarerelatively______inaveterinarian’soffice,occasionallyvetshavetotreatmoreaggressiveanimalpatients.