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

admin2021-12-03 75

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

宏观调控的经济政策目标之间存在一定的矛盾和冲突，因此，政府应该对政策目标进行选择。当经济运行处于衰退状态且出现经济停滞时，政府应该()。

在特定工作岗位、组织环境和文化氛围中的成绩优异者所具备的可客观衡量的个人特质是()。

宪法作为一国的根本法，具有至高无上的地位。新中国成立后，先后共制定颁布了4部宪法，现行宪法是()。

产品市场生命周期是指产品从研制成功投入市场开始，经过成长、成熟阶段．最终到衰退、被淘汰为止所经历的时间。()

向最终消费者直接销售产品和服务，用于个人及非商业性用途的活动属于()。

按照世界贸易组织的分类，服务行业包括的部门有()。

“没有哪一次巨大的历史灾难，不是以历史的进步为补偿的。”恩格斯这句话蕴含的哲理是()。

2002年7月16日上午．“蛟龙”号载人潜水器海试队在圆满完成人类首次()米级海底作业和科研实验任务后，乘坐“向阳红09”船返抵山东省青岛市。

中国农业银行于2010年7月15日和16日正式在上海和香港两地上市，至此，中国四大国有商业银行全部实现上市，中国金融改革开始新的一页。根据上述材料，回答下列问题：在我国上市公司的股份按投资主体可以分为()。

某股份有限公司委托证券公司代理发行普通股1000000股，每股面值1元，每股按1．25元的价格出售，按协议，证券公司从发行收入中收取3％的手续费。则该公司计入资本公积金的数额为()元。

不属于改善工作质量的形式的是()。

为预防医院感染，对住院的老年病人应加强管理，具体措施有（）

张某，24岁，初孕妇，孕36周，四步触诊结果：于子宫底部触到圆而硬的胎儿部分，在耻骨联合上方触到较软且不规则的胎儿部分，于母体腹部右前方触及较平坦的胎儿部分。则胎方位为

以下哪种儿童可以接种疫苗

炎症时血小板激活因子的作用不包括

乙公司拟开办航空业务并将其基地设在印度尼西亚，以使企业多元化发展。在分析该战略提案时，乙公司需要对外部环境进行评估，其可使用的分析工具有()。(2009年)

甲注册会计师审计W公司1999年度会计报表时，将其交易和账户划分为销售与收款循环、购货与付款循环、生产循环、筹资与投资循环。在一般情况下，甲应将应付工资及应付福利费项目划入(　　)。

如下图所示，连接在HUB上的4台计算机要求划分在2个VLAN中，HUB上连的交换机应采用的VLAN划分方法是

電話で弟の声をきみの声()間違えてしまったよ。

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

综合知识

银行系统招聘考试

宏观调控的经济政策目标之间存在一定的矛盾和冲突，因此，政府应该对政策目标进行选择。当经济运行处于衰退状态且出现经济停滞时，政府应该()。

在特定工作岗位、组织环境和文化氛围中的成绩优异者所具备的可客观衡量的个人特质是()。

宪法作为一国的根本法，具有至高无上的地位。新中国成立后，先后共制定颁布了4部宪法，现行宪法是()。

产品市场生命周期是指产品从研制成功投入市场开始，经过成长、成熟阶段．最终到衰退、被淘汰为止所经历的时间。()

向最终消费者直接销售产品和服务，用于个人及非商业性用途的活动属于()。

按照世界贸易组织的分类，服务行业包括的部门有()。

“没有哪一次巨大的历史灾难，不是以历史的进步为补偿的。”恩格斯这句话蕴含的哲理是()。

2002年7月16日上午．“蛟龙”号载人潜水器海试队在圆满完成人类首次()米级海底作业和科研实验任务后，乘坐“向阳红09”船返抵山东省青岛市。

中国农业银行于2010年7月15日和16日正式在上海和香港两地上市，至此，中国四大国有商业银行全部实现上市，中国金融改革开始新的一页。根据上述材料，回答下列问题：在我国上市公司的股份按投资主体可以分为()。

某股份有限公司委托证券公司代理发行普通股1000000股，每股面值1元，每股按1．25元的价格出售，按协议，证券公司从发行收入中收取3％的手续费。则该公司计入资本公积金的数额为()元。

不属于改善工作质量的形式的是()。

为预防医院感染，对住院的老年病人应加强管理，具体措施有（）

张某，24岁，初孕妇，孕36周，四步触诊结果：于子宫底部触到圆而硬的胎儿部分，在耻骨联合上方触到较软且不规则的胎儿部分，于母体腹部右前方触及较平坦的胎儿部分。则胎方位为

以下哪种儿童可以接种疫苗

炎症时血小板激活因子的作用不包括

乙公司拟开办航空业务并将其基地设在印度尼西亚，以使企业多元化发展。在分析该战略提案时，乙公司需要对外部环境进行评估，其可使用的分析工具有()。(2009年)

甲注册会计师审计W公司1999年度会计报表时，将其交易和账户划分为销售与收款循环、购货与付款循环、生产循环、筹资与投资循环。在一般情况下，甲应将应付工资及应付福利费项目划入( )。

如下图所示，连接在HUB上的4台计算机要求划分在2个VLAN中，HUB上连的交换机应采用的VLAN划分方法是

電話で弟の声をきみの声()間違えてしまったよ。

甲注册会计师审计W公司1999年度会计报表时，将其交易和账户划分为销售与收款循环、购货与付款循环、生产循环、筹资与投资循环。在一般情况下，甲应将应付工资及应付福利费项目划入(　　)。