查询词典 logics

We all know that architecture must depend on logics and mathematics.

我们都知道建筑学都离不开逻辑和数学得知识。

I've always believed in numbers and the equations and logics that lead to reason.

我一直以来都坚信数字，不管是方程还是逻辑都引导我们去思考。

Thank you. I've always believed in numbers and the equations and logics that lead to reason.

我一直相信数字，不管是方程式，或是逻辑学都引导我们去思考。

To date, there is ample evidence for the success of belief logics in the analysis of key management protocols.

到目前为止，对于在键管理协议的分析过程中的信任逻辑的成功有充裕的证据。

Make your logics work and even difficult tasks will seem to be very simple then.

让您的逻辑工作和艰钜的任务，甚至会似乎很简单，然后。

Based on the analysis of Workflow Integration business logics , the Workflow Integration business model is given.

本文首先提出企业应用集成的三个层次，分析流程集成层次的重要性和难点。

Despite these theoretical limits, practical theorem provers can solve many hard problems in these logics.

尽管取得了这些理论的限制，实际定理provers可以解决许多困难问题，在这些逻辑。

Based on his expression, he has just formulated the complicated logics and the paradoxes of concepts by picture.

他正是在语言表述的基础上以制图方式把复杂的逻辑与悖论的观念图解化。

Construct originally SJTU-SNERDI---the safety status of nuclear power plant, the logic frames of intelligent information diagnostic system including diagnostic sub-modules for the identified and the unidentified leakage detection logics, main steam and feed-water line leakage detection.

科学地阐述了国际核电厂诊断与报警系统的现状和国际核电仪表控制技术的发展方向，全面分析了在核电厂先进主控制室系统中采用智能信息诊断系统与智能报警系统对核电厂安全、可靠、经济运行的重要性与必要性。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。