查询词典 algebra system

In this system, the lattic structure is different from Boolean algebra, the implication operator → is just the Kleene Dienes operator R KD .

研究赋值格为非线性序，其格结构不同于Boole代数，而蕴涵算子→取Kleen－Dienes算子RKD的一种新的6值逻辑系统K16的语义理论，得到若干结果

Security protocols are used to provide secure communications over open network,which are essentially concurrent programs in distributed systems,and can be described as a parallel composition system of multiple role-processes by process algebra.

安全协议用于实现开放互连网络的安全通讯，它本质上是分布式并发程序，使用进程代数可以将其描述为角色进程的并发合成系统。

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

George Boole develops a system of mathematics called Boolean algebra, which uses binary operations.

乔治。布尔开发采用二进位制运算的数学体系，称为布尔代数学。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。