首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
财经
自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。
自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。
admin
2020-02-10
34
问题
自动程序设计的实现途径有四种方式，其中对于所有满足条件的输入，要求定理证明程序证明存在一个满足输出条件的输出，从该证明中析取出所有欲生成的程序，一般称这种方法为( )。
选项
A、实例推广
B、程序转化
C、过程实现
D、演绎综合
答案
D
解析
演绎综合的理论基础是，数学定理的构造式证明可等价于程序推导。对要生成的程序，用户给出它的输入、输出数据必须满足的条件，条件以某种形式语言(如谓词演算)陈述。对于所有这些满足条件的输入，要求定理证明程序证明存在一个满足榆出条件的输出，从该证明中析取出所欲生成的程序。这一途径的优点是理论基础坚实，但迄今只析取出一些较小的样例，较难用于较大规模的程序。
转载请注明原文地址:https://kaotiyun.com/show/jccc777K
本试题收录于：
综合知识题库银行系统招聘考试分类
0
综合知识
银行系统招聘考试
相关试题推荐
Anewbookletexplainingtheprocessofcourseselectionalongwithcounselingservicesis______toanystudentinterestedinrec
在Word编辑状态下，移动鼠标光标至某段左侧，当鼠标光标变成箭头时连击3下，将会选中()。
企业准备投入一笔资金进行新产品的开发，需要先对未来市场进行预测，当出现下列哪种情况时，企业实行产品开发会面临较大的投资风险?()
()是指客户在银行计算机网络和各种终端设备上，自己动手办理以前由银行职员才能办理的一套银行业务。
一国拥有充裕的资本要素，所以该国应该专门生产资本密集型产品进行对外交换，这种说法来自()。
电子政务在实现资源共享的同时，可以从根本上规范政府行为，避免暗箱操作，减少()。
依据商业银行法，下列表述中错误的是()。
下列各项中，属于反映财务状况的会计要素有()。
分类数据的图示方法主要有圆形图和()。
在成熟的商品经济社会中，市场是一个包括各类生产要素在内的有机体系，而我国还处在社会主义初级阶段，目前其市场体系是由()构成的。
随机试题
选择哪种抗结核药物抗结核药物治疗应坚持的原则是
[2012年，第10题]下列级数中，条件收敛的是()。
背景某项目部负责南方某市话线路工程的施工，工程计划7月1日开工、9月30日完工，施工内容包括制作架空杆路、敷设架空电缆和管道电缆、安装配线设备、总配线架成端等工作量，工程采用包工不包料的方式承包。项目部的人员构成情况见下表：
下列不属于金融机构的职能的是()。
如果甲产品和乙产品的需求交叉弹性系数是负数，则说明甲产品和乙产品()。
中国第一个运用马克思主义观点写作教育学的是()。
“价格革命”之所以加速了西欧封建制度的衰落和资本主义的发展，是因为它()①使新兴资产阶级的经济力量增大②使靠固定地租收入的封建主地位削弱③使传统商路和贸易中心转移④使城乡雇佣工人人数增多且日益贫困
甲、乙、丙三人合伙开一餐馆，出资比例为3：2：1。1998年3月，甲请求退伙，乙、丙表示同意，并对合伙财产进行清算，结果餐馆净亏损1．2万元，债权人为丁。甲按出资比例清偿6000元合伙债务后退伙，乙、丙继续经营。1999年3月，餐馆经营更加恶化，净亏损3万
A、 B、 C、 C原文说“Lucy每个星期打一次排球”，所以[C]是正确的。
GrayingPopulationStaysinthePinkA)Elderlypeoplearegrowinghealthier,happierandmoreindependent,sayAmericanscientis
最新回复
(
0
)
