查询词典 predicate logic

It is based on an one column full adder in function; there introduces the special carry chain in the parallel and the vertical directions in order to accord the flexible carry needed by the data channel, it can be confected into different working mode, and realizes the compound logic and the sequence logic.

它在功能上基于一位全加器；在水平和垂直方向中都加入了专用进位链以满足数据通路所需的灵活进位，可配制为不同的工作模式，分别实现组合逻辑和时序逻辑。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

In this paper, the formal definitions of a general logic topology structure and its fundamental features are givern firstly, and then an algorithm of broadcasts without message tags is proposed based on the general logic topology structure.

文中首先给出了逻辑拓扑结构的形式定义及基本性质，提出了一个基于一般逻辑拓扑结构的无消息标志广播通信算法。

A real time optical logic processor is presented, that can perform binary logic operations in parallel. Experimental result is given of the system as a half adder.

本文提出了一种能实时完成二进制逻辑运算的光学并行处理系统，并给出了作为半加法器的实验结果。

In the other hand, Hoare logic has enough expressiveness since logic predicates can express more information than types.

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

The character of research is that the development trend of flexible logic of intelligent decision support system is shown.The grey logic representing the incomplete and randomcity and induction method based on it are proposed.

其研究特点在于明确了智能决策决策支持系统的逻辑柔性化的发展方向，并给出了一种表示信息不完全性和随机性的具体的柔性逻辑推理方法。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

On one side, he inherits the tradition of pragmatism, on the other side , he emphasizes the effect to philosophy from logic and mathematics. His emphasis on mathematical logic, meaning theory and experience verify theory, which makes up pragmatic insufficience.

在刘易斯那里，他一方面继承实用主义的传统，另一方面又强调逻辑和数学对哲学的影响，重视对数理逻辑的研究，重视对意义理论、经验证实理论等等的探讨，弥补了实用主义在这方面的不足。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

He's a pretty westernised kind of guy.

他是一个非常西化的人。

National spirit is the moral kingpin for a nation to realize common ideal and goal.

一、中华民族精神的基本内涵党的十六大报告指出：在五千多年的发展中，中华民族形成了以爱国主义为核心的团结统一、爱好和平、勤劳勇敢、自强不息的伟大民族精神。