代数结构

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的语义理论，得到若干结果

From the Maxwells equations in integral form directly, the Maxwell Grid Equations are derived through discretization of the solution space and the equations, and thereout the common equation of arbitary structures. Secondly, the solution uncertainty of a common electro-magnetic equation is proved and a strategy is advised to get the unique solution of the finite integration equation.

直接从积分形式麦克斯韦方程组出发，通过空间离散与方程离散得到麦克斯韦网格方程组，由此得到任意结构的一般方程；深入分析了麦克斯韦网格方程组的代数特性，论证了其解的不确定性，并指出了一种可避免解不确定性的措施。

We do some research in a kind of five-order algebra curve's structure.

对一类五次代数曲线的结构进行研究。

In the same time, after shortly review the Halclanes description of the quantum Hall effect on 2-sphere S2, we obtain the corresponding noncommutative algebra An and the Moyal structure of the Hilbert space.

同时在回顾了Haldane在二维球面S~2上对量子Hall效应的描述，我们构造了S~2的非对易代数及其Hilbert空间的Moyal结构。

We will see more and more activist government policies that distinguish economic activities according to the nationality of the actors.

我们将看到越来越多激进的政府政策，这些政策根据企业的国籍来区分经济活动。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。