首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
财经
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
admin
2021-12-03
34
问题
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
选项
A、实例推广
B、程序转化
C、过程实现
D、演绎综合
答案
D
解析
演绎综合的理论基础是,数学定理的构造式证明可等价于程序推导。对要生成的程序。用户给出它的输入、输出数据必须满足的条件,条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实,但迄今只析取出一些较小的样例,较难用于较大规模的程序。
转载请注明原文地址:https://jikaoti.com/ti/2HCQFFFM
本试题收录于:
综合知识题库银行系统招聘考试分类
0
综合知识
银行系统招聘考试
相关试题推荐
商业性金融机构与政策性金融机构在业务上的关系有()。
政府对本国的进出口贸易进行干预的各项措施中,把对出口产品征收的消费税和增值税予以退还的方式,属于()。
宏观调控的经济政策目标之间存在一定的矛盾和冲突,因此,政府应该对政策目标进行选择。当经济运行处于衰退状态且出现经济停滞时,政府应该()。
生产者市场购买者多是专业人员。()
随着行业营销费用的增加,刺激消费的力度加大,市场需求一般会随之增大,但当营销费用超过一定水平后,就不能进一步促进需求,市场需求达到极限值,这个极限值被叫做()。
我国商业银行的核心资本包括实收资本、资本公积和投资风险准备金。()
邓小平提出以是否有利于发展社会主义社会的生产力,是否有利于增强社会主义国家的综合国力,是否有利于提高人民的生活水平作为判断各方面工作是非得失的根本标准。“三个有利于”的判断标准()。
对近代中国民族工业出现短暂“春天”的原因表述,不正确的是()。
金融犯罪突出的客观特征是()。
下面各组宏观经济发展目标所对应的衡量指标错误的是()。
随机试题
患者,女性,40岁,5年前开始出现双手多处指间关节酸痛、肿胀,逐渐加重,晨起感到指间关节僵硬,至少1小时,活动一段时间后方可缓解。近1年来出现右侧膝关节肿胀、疼痛,活动受限。就诊于当地医院,诊断为“风湿”,给予扶他林、芬必得等药物正规治疗,近半年来加用MT
患者,女,50岁。全麻下行直肠癌根治术,术后尚未清醒,其卧位应取
以下不属于会计核算特征的是()。
李老师在讲授《美丽的小兴安岭》一课时,设计了一堂小组讨论课。设计思路:(1)学生自读课文;(2)根据学生最喜欢的季节,自由分成四个小组;(3)以“你最喜欢的季节”为主题,展开小组讨论,总结喜欢的原因。但教学实施时却出现了诸多意想不到的“小状况”。有的学生提
下列不属于共青团的机关报刊的是()。
2017年12月28日至29日,中央农村工作会议在北京举行。会议指出,实施乡村振兴战略,是中国特色社会主义进入新时代做好“三农”工作的总抓手。下列关于实施乡村振兴战略的目标任务,说法错误的是:
Thebasicfeaturesofthecommunicationprocessareidentifiedinonequestion:Whosays______throughwhatchanneltowhom?
解放战争时期,为了打退国民党对解放区的军事进攻,中共中央指出,在政治上,必须和人民群众亲密合作,必须争取一切可以争取的人,在党的领导下,建立最广泛的
计算D=.
为了使模块尽可能独立,要求()。
最新回复
(
0
)