查询词典 logic level
- 与 logic level 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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 理论和可计算的模型;逻辑学和空间时间几何学;混合法;逻辑和基于地区的空间的理论。
-
In fact, once we take a closer examination on some of his classical texts, it's not very difficult for us to find that Mill's psychologism was strictly limited by himself. On the one hand, he asserted that the logic as an art got its theoretical basis from the logic as a science, which, in a very broad sense, was taken as a part of psychology, and on the other hand, he also asserted that logic could receive some enlightenment regarding how to construct a theory from psychology.
事实上,只要更仔细地研读穆勒本人的经典文本,我们就不难发现,穆勒对自己的心理主义做了严格的限定:他一方面断言,作为一项技艺的逻辑学从作为一门科学的逻辑学那里获得全部的理论基础,而作为科学的逻辑学广义上乃是心理学的一部分;另一方面他又断言逻辑学可以从心理学那里获得理论构造方面的启示。
-
wittgenstein's philosophy thoughts can be divided into two different stages. in his first stage, he contributes to logic analytical philosophy, the core of which is schematism. it has a decisive influence on the logic positivism. while in his second stage, he cast away his former philosophy ideas, replacing his schematism with theory of language game, logic analysis with linguistic analysis, deal language with daily language.
维特根斯坦的哲学思想可分为前期和后期,前期为逻辑分析哲学、核心是图式说,它对逻辑实证主义具有决定性影响;后期基本上抛弃了前期的哲学观点,即以语言游戏说代替了图式说,以语言分析代替了逻辑分析,以日常语言代替了理想语言。
-
Starting from the structural ideas of contemporary linguistics, he argued that there is one universal form of human logic and that the difference between the thinking of primitive and modern people cannot be based on different modes of thought or logic but rather on differences in the data on which logic operates.
从结构思想的当代语言学,他认为,有一个普遍的形式逻辑与人类之间的差别思想的原始和现代的人不能基於不同的思维方式和逻辑,而是对不同的数据其中的逻辑运作。
- 相关中文对照歌词
- Saturday (Skit)
- Next Level
- Autologic
- Relatives
- UK Jamaican
- Get Up On My Level
- Give It To Me
- Boss Level
- Sell Out Records (Skit)
- Higher Level
- 推荐网络例句
-
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.
有些分词既可当定语用,也可当表语用。
-
Over time, the jaw crusher has been a significant improvement, it is a highly efficient, energy-efficient equipment often broken.
随着时间的推移,颚式破碎机得到很大的改进,已经是一种高效,节能的常用破碎设备。