查询词典 logic
- 与 logic 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
In order to find its logic value and understand it how to affect logic. This paper is to discuss the book from the angle of methology and viewpoint of logic.
本文从方法论和逻辑学的观点出发,逐一讨论该书主题的逻辑价值及其对逻辑学发展的影响。
-
Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.
命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统,命题逻辑是数理逻辑的基础,也是计算机科学与技术的理论基础。
-
Sixthly, spatio-temporal logic model combining space metric logic and temporal logic is investigated.
研究了结合度量空间和时态逻辑的时空推理模型。
-
It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s.
有时也用来指紧张的逻辑,特别是模态逻辑为基础的系统的时序逻辑之前介绍的阿瑟在上世纪60年代。
-
These texts are considered the body of Aristotle's work on logic, though there is a great deal in the Organon that we would not consider logic, and many of Aristotle's other works, most notably the Metaphysics, deal to some extent with logic.
这些文本被认为是机构的亚里士多德的工作逻辑,尽管有大量的欧加农,我们不会考虑逻辑,许多亚里士多德的其他作品,最突出的是形而上学,处理在一定程度上与逻辑。
-
Meanwhile the standard monadic second order logic was substituted by a weaker logic framework: positive monadic partition logic.
同时,标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代。
-
Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .
逻辑推理是人工智能的基础,而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法,因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。
-
Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.
在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。
-
In the field of propositional logic in computer logic, the Logic Equivalent of propositional is fundermental.
在逻辑语言的命题演算中,命题式的等价是一个基础性的问题,在判定命题式等价问题中,真值表示比较常用的一个方式。
-
Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
包括的领域包括: provability的逻辑,对生物学,心理学,物理学,化学,经济学和其他基础科学的computability 理论的应用; computability 理论和可计算的模型;逻辑学和空间时间几何学;混合法;逻辑和基于地区的空间的理论。
- 相关中文对照歌词
- Analogue Logic
- Logic Of A Friend
- Inner Logic
- Drinkin' Songs And Other Logic
- It's Logic
- Espresso Logic
- Twisted Logic
- The Logic Of Crocodiles
- Mind Of Logic
- Common Logic / Midnight Marauder
- 推荐网络例句
-
I didn't watch TV last night, because it .
昨晚我没有看电视,因为电视机坏了。
-
Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.
今年以来,在北京的很多小区里,电梯液晶电视被撤了下来。
-
I'm running my simile to an extreme.
我比喻得过头了。