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

admin2020-02-10 36

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

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

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

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

公文中一般不采用的表达方式是()。

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

以下注意事项为批办工作中特别强调要求做到的是()。

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

主要通过增加动作电位时程，选择性延长复极的药物是()

下列哪种维生素缺乏可使成釉细胞不能分化成高柱状细胞而蜕变成扁平细胞进而造成牙釉质发育不全

男性，50岁，间断腹痛、腹泻20余年，加重3个月，大便4～5次/天。纳差，体重下降。化验便潜血(±～＋)，有脓细胞、红细胞。血Hb104g/L以下项目提示可能为器质性疾病，但不包括

如图3，《近卫军临刑前的早晨》是()代表作品。

2005年山东省城镇以上固定资产投资为()亿元下列说法正确的是()。

为了确定网络层所经过的路由器数目，应使用(42)命令。

在下图中，圆心是0，半径是3。(1)求圆的周长。(2)求arcABC的弧长。(3)求阴影部分面积。

A、NewYorkersaregenerallyfriendlytovisitors.B、Peoplehavesimilarunderstandingsofpoliteness.C、It’simportantfortrave