首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
财经
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
admin
2020-02-10
41
问题
自动程序设计的实现途径有四种方式,其中对于所有满足条件的输入,要求定理证明程序证明存在一个满足输出条件的输出,从该证明中析取出所有欲生成的程序,一般称这种方法为( )。
选项
A、实例推广
B、程序转化
C、过程实现
D、演绎综合
答案
D
解析
演绎综合的理论基础是,数学定理的构造式证明可等价于程序推导。对要生成的程序,用户给出它的输入、输出数据必须满足的条件,条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入,要求定理证明程序证明存在一个满足榆出条件的输出,从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实,但迄今只析取出一些较小的样例,较难用于较大规模的程序。
转载请注明原文地址:https://kaotiyun.com/show/6Scc777K
本试题收录于:
综合知识题库银行系统招聘考试分类
0
综合知识
银行系统招聘考试
相关试题推荐
以动作活动的方式固定下来的经验系统是()。
以下各选项中,应用最广泛的统计离散程度的测度方法是()。
下列各项中属于收文处理程序的是()。
以下注意事项为批办工作中特别强调要求做到的是()。
省政府办公厅要求各级各部门领导干部深入基层、走近群众开展春节慰问活动,秘书小王起草公文,他使用的公文文种应是()。
随机试题
信息传送速率的单位是()。
A.午后或^夜发热,伴盗汗,五心烦热,两颧红,舌干红B.午后热甚,身热不扬C.日晡热甚,伴汗出,大便干结,苔黄燥D.恶寒与发热交替,发无定时,兼见口苦,目眩,胸胁苦满,脉弦等阳明腑实证的发热特点为
慢性根尖周炎常有以下哪种病史
急症哮喘患者,病因未明,为缓解症状,应立即选用()。
贷款期限在1年以内(含1年)的公积金个人住房贷款,其还款方式是()。
园林的围墙或走廊的墙上,常常设漏窗。通过漏窗的窗隙,可见园外或院外的美景。这种构景手段称为()。
求下列二重积分:(Ⅰ)I=,其中D为正方形域:0≤x≤1,0≤y≤1;(Ⅱ)I=|3x+4y|dxdy,其中D:x2+y2≤1;(Ⅲ)I=ydxdy,其中D由直线z=-2,y=0,y=2及曲线x=所围成.
数据库管理系统为三级模式结构提供了两层映像机制,其中模式/内模式映像提供了_______独立性。
Wecanengageourselveswithmusicasacomposer,performer,orlistener.Asalistener,werespondto【C1】______ofreceptivity.
His______greetingmademefeelunwelcomefromthestart.
最新回复
(
0
)