查询词典 logic

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

Secondly, on the condition of understanding the PCI norm, we analyze the PCI time sequence and address configuration space etc. detailedly, design state machine for the simplifying logic, design the program using the VHDL hardware description language. Besides those,we complete the PCI interface design of simplifying logic and carry out the interface function of the PCI subequipment module on the condition of a 33 MHzs,32 bit width, supporting the transmition paroxysmally. Compared with the traditional PCI inteface which uses appropriative interface chip to carry out this function , it economizes the logic resources of the system, lowers cost, increases the flexibility of design.

其次，在了解PCI规范的前提下，深入地分析了PCI时序和地址配置空间等，设计了简化逻辑的状态机，并用VHDL硬件描述语言设计了程序，完成了简化逻辑的PCI接口设计在FPGA芯片内部的实现，达到了33MHz、32位数据宽度、支持猝发传输的PCI从设备模块的接口功能，与传统的使用PCI专用接口芯片来实现的PCI接口比较来看，更加节约了系统的逻辑资源，降低了成本，增加了设计的灵活性。

In order to achieve the above-mentioned objective, the first task will be dividing well the tier-level structure of the system, then reasonedly designs represent logic, business handling logic and data logic.

要实现上述目的，首要的任务便是划分好系统的层次结构，合理地设计表示逻辑、业务处理逻辑和数据逻辑。MVC模式就是一个很好的将表示、控制和业务处理相分离的解决方案。

It's not only overed Idian logic but also perfected the content of logic and the samely making a new arens of the world logic investigation.

它不但显示了藏传因明论式形式已超越了印度因明的理论事实，而且补充和完善了因明学说的逻辑内容，为世界逻辑研究开辟了新的领域。

Its not only overed Idian logic but also perfected the content of logic and the samely making a new arens of the world logic investigation.

它不但显示了藏传因明论式形式已超越了印度因明的理论事实，而且补充和完善了因明学说的逻辑内容，为世界逻辑研究开辟了新的领域。

The researches included Logic Reasoning and Rule-based Reasoning. On logic reasoning, we brought about a new approach-data type groups to help reason in descriptive logic SHOQand also added tableaux algorithm to SHOQ.

在逻辑推理领域，结合目前推理研究的发展状况，基于语义Web中比较成熟的SHOQ描述逻辑，提出借助数据类型之间的相关性辅助逻辑推理的思想，并利用Tableaux算法改进描述逻辑SHOQ，为逻辑推理提供帮助。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

Quantum logic has a long history, and there were many results of quantum logic.Effect algebra was introduced before about ten years. It describes the unsharp quantum measurement, and plays an important role in quantum logic theory.

本文研究了近十年来发展起来的用于描述不可精确测量量子现象的效应代数理论及相关问题，主要结果是： 1。

In Russell's opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。