题库
  • 题库
  • 考试

移动端

  • 题王微信公众号

    题王微信公众号

    微信搜“题王网”真题密题、最新资讯、考试攻略、轻松拿下考试

首页 / 学历语言类/ 大学试题/ 工学 / 当前试题

填空题

分享题目

几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

发布日期：2020-12-11

几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

试题解析

策略

策略，指计策；谋略。一般是指：1. 可以实现目标的方案集合；2. 根据形势发展而制定的行动方针和斗争方法；3. 有斗争艺术，能注意方式方法。

中文名
策略
拼音
cè lùe
同义词
计谋
注音
ㄘㄜˋ ㄌㄩㄝˋ

归结

归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时，对任一要证明的永真公式取非后，证明它不可满足，为此先转化成一种标准型，然后对这个标准型不断使用单一的推理规则，即实行归结，直到导出矛盾。

中文名
归结
时间
1965
提出人
Robinson
运用
证明一阶谓词演算中定理

常用

常用指经常使用；日常应用。出自《墨子·小取》等书。

中文名
常用
拼音
cháng yòng
造句
《
外文名
usual
释义
经常用的

标签： 几种 常用 归结 策略 策略

查看答案

题王网让考试变得更简单

扫码关注题王，更多免费功能准备上线！

此试题出现在

大学试题

工学

去刷题

其他考试

乡镇临床执业助理医师 招标师考试 管理软件认证工程师 护理正副高 助理理财规划师(三级) 中西医结合骨伤学中级 肿瘤内科学中级职称 口腔执业医师 土地估价师 公共营养师三级
热门试题热门资讯 相关试题

母亲今年33岁，女儿今年12岁，当母亲的年龄是女儿年龄的4倍时，母女的年龄和是多少？（　　）

起重机工作完毕，应将吊钩升至接近（）位置的高度，不准吊挂吊具、（）等。

定额的作用？

AutoCAD可以通过菜单【工具】/【查询】的子菜单或使用【查询】工具栏来查询图形对象信息包含（）。

薪酬福利总额

宗法宗族在中国主要存在于（）以前，之后的宗族基本上只是一种简单的亲情血缘认同。

简述突触的形成。

以学会写“石”这个字后，有助于写“磊”。这种现象属于（　）。

砂浆强度等级M5．0中，5．0表示（）。

静脉滴注时间应控制在1h以上，并且在滴注过程中必须遮光的药物是（ ）

暂无相关推荐~

几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）

常用的几种胶黏剂

档案学主要由哪些学科构成？可归结为哪几种类型？

常用的扒杆有哪几种？

常用的扒杆有哪几种？

常用的气瓶有哪几种？

常用的润版液有哪几种？

扣修车辆常用的色票有几种？

常用的耦合剂有几种？