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

admin2021-12-03 39

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

国内银行的()存款种类只要不超过中国人民银行同期限档次的存款利率上限，计结息规则由各银行自己把握。

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

在商品价格下降的情况下，加强了关税保护作用的税收是()。

【建设银行】张某出资12万元设立了一个一人有限责任公司。公司存续期间，张某的下列行为中，符合公司法律制度规定的是()

在转变行政管理方式过程中，经济、法律手段的作用日益加强。()

抽象数据类型是指一个数学模型以及定义在此数学模型上的一组操作。()

银行为VIP客户提供比办理一般人民币业务客户更加便捷的服务，违反了“公平对待”原则。()

下面各组宏观经济发展目标所对应的衡量指标错误的是()。

“笔墨当随时代”，绘画艺术要有时代精神，就要有创新。然而不继承优秀的传统遗产，创新很难有稳固的根基。这表明绘画艺术的发展要()。

根据国际货币基金组织的划分，比传统盯住安排弹性还小的汇率安排是()。

患者男性，57岁，形体肥胖，一周来心悸善惊，烦躁痰多，食少泛恶，舌苔黄腻，脉象滑数。

初期佝偻病的主要表现

下列属于前馈控制措施的是

PP-R管采用(　　)方式进行连接。

建筑材料的采购费、仓储费、工地保管费和仓储损耗费，属于建筑安装工程的()。

影响人员安全疏散的因素复杂众多，可大致分为人员内在影响因素、外在环境影响因素、环境变化影响因素、救援和应急组织影响因素四类。其中人员内在影响因素包括()

悲剧《麦克白》的作者是()。

Weoftentendtoassociatesmilingastheresultofapositiveeventormood.Butresearchdemonstratesthattheactofsmiling,

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

综合知识

银行系统招聘考试

国内银行的()存款种类只要不超过中国人民银行同期限档次的存款利率上限，计结息规则由各银行自己把握。

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

在商品价格下降的情况下，加强了关税保护作用的税收是()。

【建设银行】张某出资12万元设立了一个一人有限责任公司。公司存续期间，张某的下列行为中，符合公司法律制度规定的是()

在转变行政管理方式过程中，经济、法律手段的作用日益加强。()

抽象数据类型是指一个数学模型以及定义在此数学模型上的一组操作。()

银行为VIP客户提供比办理一般人民币业务客户更加便捷的服务，违反了“公平对待”原则。()

下面各组宏观经济发展目标所对应的衡量指标错误的是()。

“笔墨当随时代”，绘画艺术要有时代精神，就要有创新。然而不继承优秀的传统遗产，创新很难有稳固的根基。这表明绘画艺术的发展要()。

根据国际货币基金组织的划分，比传统盯住安排弹性还小的汇率安排是()。

患者男性，57岁，形体肥胖，一周来心悸善惊，烦躁痰多，食少泛恶，舌苔黄腻，脉象滑数。

初期佝偻病的主要表现

下列属于前馈控制措施的是

PP-R管采用( )方式进行连接。

建筑材料的采购费、仓储费、工地保管费和仓储损耗费，属于建筑安装工程的()。

影响人员安全疏散的因素复杂众多，可大致分为人员内在影响因素、外在环境影响因素、环境变化影响因素、救援和应急组织影响因素四类。其中人员内在影响因素包括()

悲剧《麦克白》的作者是()。

Weoftentendtoassociatesmilingastheresultofapositiveeventormood.Butresearchdemonstratesthattheactofsmiling,

PP-R管采用(　　)方式进行连接。