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

admin2020-02-10 47

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

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

答案D

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

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

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

综合知识

银行系统招聘考试

相关试题推荐

随机试题

最新回复(0)

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

综合知识

银行系统招聘考试

国债收入是指国家通过信用方式取得的收入，其具有的特点是()。

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

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

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

发文处理程序具有很强的确定性与不可逆性，以下各阶段的先后排序应为()。

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

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

()是按公文内容的处理要求分类的。

在下行文中提出执行要求时，要使受文者不折不扣执行文件，应写作()。

发达国家医院病床与病案管理人员的配备比例为

放置宫内节育器发现以下何种情况应及时就诊

对于半衰期长的药物，要迅速达到稳态血药浓度可采用的给药方法是()。

下列关于风险监管的内容和要素的表述，不正确的是()。

布匹：衣服

在学生选课表SC中，查询选修了3号课程的学生的学号(XH)及其成绩(CJ)。查询结果按分数的降序排列。实现该功能的正确SQL语句是()。

打开表单formtest，完成下面操作。(1)表单标题设置为“考试系统”。(2)在表单上添加一个标签控件，显示“欢迎使用考试系统”，字体的颜色为红色。(3)向表单内添加一个计时器控件，名为Timerfor。(4)将计时器控件

设有学生表S(学号，姓名，性别，年龄)，查询所有年龄小于等于18岁的女同学、并按年龄进行降序排序生成新的表WS，正确的SQL命令是(　　)。

Therelationshipbetweenhusbandsandwivesisoneofthestrongestbondsinoursociety.Itisdeep,passionate,andoften【C1】_

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

综合知识

银行系统招聘考试

国债收入是指国家通过信用方式取得的收入，其具有的特点是()。

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

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

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

发文处理程序具有很强的确定性与不可逆性，以下各阶段的先后排序应为()。

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

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

()是按公文内容的处理要求分类的。

在下行文中提出执行要求时，要使受文者不折不扣执行文件，应写作()。

发达国家医院病床与病案管理人员的配备比例为

放置宫内节育器发现以下何种情况应及时就诊

对于半衰期长的药物，要迅速达到稳态血药浓度可采用的给药方法是()。

下列关于风险监管的内容和要素的表述，不正确的是()。

布匹：衣服

在学生选课表SC中，查询选修了3号课程的学生的学号(XH)及其成绩(CJ)。查询结果按分数的降序排列。实现该功能的正确SQL语句是()。

打开表单formtest，完成下面操作。(1)表单标题设置为“考试系统”。(2)在表单上添加一个标签控件，显示“欢迎使用考试系统”，字体的颜色为红色。(3)向表单内添加一个计时器控件，名为Timerfor。(4)将计时器控件

设有学生表S(学号，姓名，性别，年龄)，查询所有年龄小于等于18岁的女同学、并按年龄进行降序排序生成新的表WS，正确的SQL命令是( )。

Therelationshipbetweenhusbandsandwivesisoneofthestrongestbondsinoursociety.Itisdeep,passionate,andoften【C1】_

设有学生表S(学号，姓名，性别，年龄)，查询所有年龄小于等于18岁的女同学、并按年龄进行降序排序生成新的表WS，正确的SQL命令是(　　)。