General deduction and strong completeness of the formal deductive system L? are further studied.

  • 进一步讨论了形式系统L? 中的一般演绎推理及强完备性问题.
  • 来源:互联网摘选更新时间:2025-01-18 13:19:10

  • 重点词汇
  • generaln.将军;(陆军、海军陆战队或美国空军)上将
  • completenessn.完全;完全性;完整性;
  • andconj. 和,与;而且;于是,然后;因此;
  • systemn. 体系,系统;制度;身体;方法;
  • arevi.(用于第二人称单复数现在时,第一、三人称复数现在时)是;
  • deductionn.推演,推理,演绎;(推理所得出的)结论;扣除,减除;扣除的量;
  • studiedadj.有计划的;故意的;深思熟虑的;精通的;
  • ofprep. 关于;属于…的;由…制成;
  • 相关例句
1、

Then it discusses how to use ERC + to design deductive database and gives an example.

探讨了演绎数据库设计的ERC+方法,并给出了应用实例.

互联网摘选

2、

Knowledge database and rational control policy were constructed based on production rule and deductive ratiocinate.

基于产生式规则的知识表示方法及基于演绎式推理的推理方式,建立了知识库和推理控制策略.

互联网摘选

3、

I call the former approach deductive and the latter approach inductive.

我把前者称为演绎方式,把后者称为归纳方式.

互联网摘选

4、

An analysis and discussion is also made on the conceptual proposition, deductive construction and logical implication.

分析讨论了元极学的概念命题演绎结构与逻辑特征.

互联网摘选

5、

The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算.

互联网摘选

6、

The application of law mainly uses deductive inference or syllogism inference.

法官适用法律中主要运用演绎推理或三段论推理.

互联网摘选

7、

The result calculated by the deductive method is wrong.

用演绎法推算的结果是错误的.

互联网摘选

8、

At one point in the Metaphysics, Aristotle seems to distinguish between empirical studies and deductive logic.

在《形而上学》一书中, 亚里士多德似乎已谈到了经验研究和推理逻辑的区别.

英汉非文学 - 文明史

9、

On the other hand, deductive reasoning plays a significant role in the Platonic approach.

在另一方面, 演译推理在柏拉图式科学研究中起着重要的角色.

互联网摘选

10、

There, he met Professor John Bell, who was well-known for using deductive reasoning to diagnose diseases.

在那儿, 他认识了约翰贝尔教授,贝尔教授因使用演绎推理来诊断疾病而闻名于世.

互联网摘选

11、

A detective must use DEDUCTIVE REASONING to solve a case.

侦探必须用推论来破案.

互联网摘选

12、

Bell was good at deductive reasoning to diagnose disease.

比尔善于用用推断来诊疗病情.

互联网摘选

13、

At the time negotiation, the local bank deducts the loan and the interest.

议付时, 当地银行扣除先前的贷款和利息.

词典精选例句

14、

The familiar melody deducts the stirring times and expressing the unchanging sincerity.

熟悉的旋律,演绎时代的激越,回荡情怀不改的真切.

互联网摘选

15、

The rocky soil deducts from the value of his property.

多岩石的土壤减损他的地产价值.

互联网摘选

16、

And must be over the foundation that deducts the expense such as server, bandwidth, manpower gain.

而且必须在扣除服务器 、 带宽 、 人力等费用的基础之上盈利.

互联网摘选

17、

The hotel deducts £3 from the room price.

些饭店把房价减去了3英镑.

互联网摘选

18、

But Mr Dee studiously avoids such easy clich é s.

但迪先生刻意避开这样的陈词滥调.

互联网摘选

19、

Dee broke off a piece of limestone and thumbed it into the stream.

迪伊掰下一块石灰石,用拇指弹进河里.

词典精选例句

20、

Dee talked incessantly.

迪伊一直说个不停。

《柯林斯高阶英汉双解学习词典》

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈