查询词典 logic level

Its not only overed Idian logic but also perfected the content of logic and the samely making a new arens of the world logic investigation.

它不但显示了藏传因明论式形式已超越了印度因明的理论事实，而且补充和完善了因明学说的逻辑内容，为世界逻辑研究开辟了新的领域。

The researches included Logic Reasoning and Rule-based Reasoning. On logic reasoning, we brought about a new approach-data type groups to help reason in descriptive logic SHOQand also added tableaux algorithm to SHOQ.

在逻辑推理领域，结合目前推理研究的发展状况，基于语义Web中比较成熟的SHOQ描述逻辑，提出借助数据类型之间的相关性辅助逻辑推理的思想，并利用Tableaux算法改进描述逻辑SHOQ，为逻辑推理提供帮助。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

Quantum logic has a long history, and there were many results of quantum logic.Effect algebra was introduced before about ten years. It describes the unsharp quantum measurement, and plays an important role in quantum logic theory.

本文研究了近十年来发展起来的用于描述不可精确测量量子现象的效应代数理论及相关问题，主要结果是： 1。

In Russell's opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

The theory of ∑-α-tautologies of fuzzy propositional logic was combined with the theory of truth degree in metrology of logic introduced by professor G.J.Wang, and the theory of ∑Γ－fuzzy truth degrees of formula relative to the finite theory in propositional logic system n was introduced.

将模糊命题逻辑系统中的∑-理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑Γ－模糊真度理论，讨论了其中的主要性质。

To Bao Yarning , however , the logic of consumerism not only becomes the logic of our social space operation , but also the cultural logic dominating the daily life .

包亚明认为，消费主义的逻辑不仅成为了社会运用空间的逻辑，而且也成为了主导日常生活的文化逻辑；在全球城市的风景背后，精英阶层的消费文化&诉求&已经被合理化，自然化为与世界接轨的先决条件。

Then deontic logic became a theory of dynamic logic based on action logic.

于是道义逻辑便是一种以行动逻辑为基础的动态逻辑。

This deontic logic should be logic about normal propositions rather than logic ab...

但是 ，在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑，而不是规范的逻辑，在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。