The Adam Smith Problem has different levels of logics.
“亚当·斯密问题”有不同的逻辑层面。
Usual logics just deal with the concept of static negation.
通常的逻辑只涉及静态否定的概念。
I've always believed in Numbers, in the equations and logics.
我一直相信数字，相信方程和逻辑。
Branching logics, however, can reason about multiple time lines.
分支逻辑，但是，可以原因多时间线。
So called linear time logics are restricted to this type of reasoning.
所谓线性时间逻辑仅限于这种类型的推理。
You know, Deutsch is so rational, it emphases whole structure and logics.
正如你所知，德语是十分理性的，它强调整体框架和逻辑。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
Entailment is a very important concept in the field of pragmatics and logics.
在语用学和逻辑学领域中，蕴涵是一个很重要的概念。
I've always believed in Numbers, in the equations and logics that lead to reason.
我一直相信数字，不管是方程序还是逻辑学，都引导我们去思考。
And we need to harmonize the very different requirements and logics of work and worker.
我们需要调和工作与工人的各种不同需求与逻辑。
Necessity and contingency are a pair of very important categories in philosophy and logics.
必然性和偶然性是哲学和逻辑学中一对重要的范畴。
Logics have the strong ability to represent knowledge and infer new knowledge from old ones.
而逻辑学具有很强的表示知识和推出新知识的能力。
Based on this thought, we propose an IDS alert correlation model based on description logics.
在此思想基础上，进一步提出了基于描述逻辑的IDS告警关联模型。
The logics with probabilistic characterized is suitable for expressing the states of nano-device.
具有概率特性的逻辑学适合表示纳米器件的状态。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
This article focuses on the multiple theoretical logics in the youth Althusser s philosophical thoughts.
本文主要讨论了青年阿尔都塞哲学中思想的多重理论逻辑。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
This paper describes the logics and the using in computing the probability distribution of the nano-gate states.
本文介绍了该逻辑学和其在计算纳米级门电路的概率分布方面的应用。
However, green marketing in present Chinese enterprises is actually in conflict with the logics of enterprise behavior.
目前，我国企业绿色营销面临着与企业行为逻辑的现实冲突。
The concepts in the logics must be clear, explicit, but there also exist some misty concepts in realistic language context.
逻辑学要求使用的概念必须清楚、明确，但在现实语境中也存在模糊概念。
The famous paradox named as "barber paradox" proposed by Bertnard Rullsell questions to the entire foundation of math logics.
伯特纳德·罗素用它提出了著名的“理发师悖论”，对整个数学的逻辑基础提出了质疑；
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
These semantic - based systems use description logics, concept contraction and concept abduction to compute the matchmaking degree.
基于语义的系统用描述逻辑、概念收缩法和概念试推法，计算语义匹配度大小。
The motive of Logicians who study meaning problem is to guarantee validity of reasoning through finding the back theories of Logics.
逻辑学家研究意义，目的是为了寻求逻辑理论背后的基础假定，以保证推理形式的有效性。
Control principle, control tactics, control logics and algorithm of motor vehicle dynamics stability control are theoretically analyzed.
对车辆动力学稳定性控制的控制原理、控制策略、控制逻辑和算法进行了理论分析。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
应用推荐