logics
推荐文章
n.
逻辑（学）( logic的名词复数 )；逻辑学；（做某事的）道理；推理方法
英英释义
logic
n.
the branch of philosophy that analyzes inference
reasoned and reasonable judgment
"it made a certain kind of logic"
the principles that guide reasoning within a given field or situation
"economic logic requires it"; "by the logic of war"
a system of reasoning
同义词：logical systemsystem of logic
the system of operations performed by a computer that underlies the machine's representation of logical operations
词组短语
fuzzy logic模糊逻辑
programmable logic可编程序逻辑
logic control逻辑控制
programmable logic controller可编程序逻辑控制器
control logic控制逻辑
logic system逻辑系统
logic circuit逻辑电路
fuzzy logic control模糊逻辑控制
digital logic数字逻辑
temporal logic时序逻辑；时间逻辑
logic design[计]逻辑设计
mathematical logic数理逻辑
formal logic形式逻辑
logic analyzer逻辑分析仪；逻辑分析器
logic operation逻辑运算
propositional logic命题逻辑
sequential logic时序逻辑；顺序逻辑；循序逻辑
predicate logic谓词逻辑
logic programming逻辑编程
modal logic模态逻辑；情态逻辑
双语例句
We all know that architecture must depend on logics and mathematics.
我们都知道建筑学都离不开逻辑和数学得知识。
Logicians concerned with this have tried to develop paraconsistent logics.
关心这个问题的逻辑学家开发了次协调逻辑。
权威例句
Logics of Conversation2003. Logics of Conversation
A Framework for Defining Logics
Algebraic analysis of many valued logics
Flexible Citizenship: The Cultural Logics of Transnationality
The complexity of propositional linear temporal logics
The complexity of propositional linear temporal logics
Nonmonotonic reasoning, preferential models and cumulative logics
A guide to completeness and complexity for modal logics of knowledge and belief ☆
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
1. The Adam Smith Problem has different levels of logics.
“亚当·斯密问题”有不同的逻辑层面。
youdao
2. Usual logics just deal with the concept of static negation.
通常的逻辑只涉及静态否定的概念。
youdao
3. I've always believed in Numbers, in the equations and logics.
我一直相信数字，相信方程和逻辑。
youdao
4. Branching logics, however, can reason about multiple time lines.
分支逻辑，但是，可以原因多时间线。
youdao
5. So called linear time logics are restricted to this type of reasoning.
所谓线性时间逻辑仅限于这种类型的推理。
youdao
6. You know, Deutsch is so rational, it emphases whole structure and logics.
正如你所知，德语是十分理性的，它强调整体框架和逻辑。
youdao
7. Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
youdao
8. Entailment is a very important concept in the field of pragmatics and logics.
在语用学和逻辑学领域中，蕴涵是一个很重要的概念。
youdao
9. I've always believed in Numbers, in the equations and logics that lead to reason.
我一直相信数字，不管是方程序还是逻辑学，都引导我们去思考。
youdao
10. And we need to harmonize the very different requirements and logics of work and worker.
我们需要调和工作与工人的各种不同需求与逻辑。
youdao
11. Necessity and contingency are a pair of very important categories in philosophy and logics.
必然性和偶然性是哲学和逻辑学中一对重要的范畴。
youdao
12. Logics have the strong ability to represent knowledge and infer new knowledge from old ones.
而逻辑学具有很强的表示知识和推出新知识的能力。
youdao
13. Based on this thought, we propose an IDS alert correlation model based on description logics.
在此思想基础上，进一步提出了基于描述逻辑的IDS告警关联模型。
youdao
14. The logics with probabilistic characterized is suitable for expressing the states of nano-device.
具有概率特性的逻辑学适合表示纳米器件的状态。
youdao
15. Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
youdao
16. This article focuses on the multiple theoretical logics in the youth Althusser s philosophical thoughts.
本文主要讨论了青年阿尔都塞哲学中思想的多重理论逻辑。
youdao
17. Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
youdao
18. This paper describes the logics and the using in computing the probability distribution of the nano-gate states.
本文介绍了该逻辑学和其在计算纳米级门电路的概率分布方面的应用。
youdao
19. However, green marketing in present Chinese enterprises is actually in conflict with the logics of enterprise behavior.
目前，我国企业绿色营销面临着与企业行为逻辑的现实冲突。
youdao
20. The concepts in the logics must be clear, explicit, but there also exist some misty concepts in realistic language context.
逻辑学要求使用的概念必须清楚、明确，但在现实语境中也存在模糊概念。
youdao
21. The famous paradox named as "barber paradox" proposed by Bertnard Rullsell questions to the entire foundation of math logics.
伯特纳德·罗素用它提出了著名的“理发师悖论”，对整个数学的逻辑基础提出了质疑；
youdao
22. Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
youdao
23. These semantic - based systems use description logics, concept contraction and concept abduction to compute the matchmaking degree.
基于语义的系统用描述逻辑、概念收缩法和概念试推法，计算语义匹配度大小。
youdao
24. The motive of Logicians who study meaning problem is to guarantee validity of reasoning through finding the back theories of Logics.
逻辑学家研究意义，目的是为了寻求逻辑理论背后的基础假定，以保证推理形式的有效性。
youdao
25. Control principle, control tactics, control logics and algorithm of motor vehicle dynamics stability control are theoretically analyzed.
对车辆动力学稳定性控制的控制原理、控制策略、控制逻辑和算法进行了理论分析。
youdao
26. But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
youdao
27. How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
youdao
28. We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
youdao
29. We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
youdao
logics
