logic的例句大全

That logic applies to losers as well as winners.

这一思路既适用于赚钱的股票,也适用于赔钱的股票.

互联网摘选

There's not always logic to these things.

这类事并无一定之规.

互联网摘选

The same logic applies to many other situations.

很多的处境,也可以照搬这个道理.

互联网摘选

A new flexible explosive mechanical properties synchronization is prepared for the large area logic network.

针对大面积爆炸逻辑网络,研制出一种新型挠性炸药配方.

期刊摘选

But i doubt the logic of this term is odd.

但我怀疑这个新名词的逻辑是奇数.

互联网摘选

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

互联网摘选

The Decidability of Proof Method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

互联网摘选

Decidability of Propositional Projection Temporal Logic

命题投影时序逻辑的可判定性

互联网摘选

Logic rules are made up of the law of Identity, non-contradiction, excluded middle add sufficient evidence.

逻辑规律是关于思维的逻辑形式的规律，它由同一律、不矛盾律、排中律和充足理由律组成。

互联网摘选

The assumptions and the logic of the technique are discussed.

人们还在持续讨论这项技术的假设和逻辑性.

互联网摘选

A theory has its internal logic.

每一种理论都有其固有的逻辑性.

互联网摘选

Research and design of the B2 level security mechanism based on the logic SQL

基于Logic SQL的B2级安全机制的研究与设计

互联网摘选

The research and design of B1 secure database based on logic SQL

基于Logic SQL的B1级安全数据库的设计与实现

互联网摘选

For the logic part, the single cell fault model is assumed and novel design-for-testability techniques are applied.

逻辑模块采用了新颖的可测性设计方法，假设了单元故障模型。

互联网摘选

A new idea is presented to introduce the linear temporal logic ( LTL) technology and analog information into a fault diagnosis system for high voltage ( HV) transmission lines.

提出了将线性时态逻辑（LTL）技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。

互联网摘选

The logic clue is about the dispute between monotheism and pantheism, polytheism and idol worship.

逻辑线索即为一神与泛神、多神、偶像崇拜之争。

互联网摘选

The design also truncates the Wallace tree for the reduction of hardware logic.

对于华莱士树进行截断处理，有效减少了硬件逻辑。

互联网摘选

However, now we can just pass a boolean false to the constructor during our tests to avoid calling the init() method and all the unneeded initialization logic.

然而，现在我们在测试过程中只能够传递一个布尔值false给构造函数，以避免调用init（）方法和所有不必要的初始化逻辑。

互联网摘选

We use Qt technology to realize the function of each module in Linux to complete the development of communication software. Finally, we do an experiment with programmable logic controller.

在Linux下使用Qt技术实现了每个模块的功能，完成了通信软件的开发，最后以可编程设备为实验对象进行实验。

互联网摘选

The purpose of metaphysics is the metaphysical knowledge with clear proof, which depends on the expression and argument of logic.

形而上学所要成就的是具有明证性的形上之知，而形上之知的成立只有依靠逻辑的表达和论证。

互联网摘选