查询词典 boolean algebra

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

The algebra homomorphism and Riesz homomorphism can be deducible for each other under some circumstances in complex f -algebra.

文中具体讨论了在复f-代数中复Riesz同态与代数同态在一定条件下可互推的结果。

In the final chapter, we apply the tubular mutations of the derived category of a derived tubular algebra to Lie algebra.

第五章我们讨论标准代数导出范畴自等价—tubular mutation在李代数中的应用。

Based on the flexible multibody dynamics model, that establish, a group of the algebra—differential hybrid equations which is made up of kinematics differential equation and spatial constraint algebra equations is listed by leading into the Lagrange multiplier to release the constraint of the system.

根据上述建立的多柔体动力学模型，通过引入Lagrange乘子释放系统的约束，列出了由系统的运动微分方程和空间约束代数方程组成的一组微分—代数混合方程组。

In section 2 ,if one Lie colour algebra can be decomposed to direct sum of two ideas ,the same as the center.And when the center is zero , the derivation and the inner derivation can be also decomposed .Lie colour algebra L is complete if and only if its two ideas are both complete .

第二部分首先讨论了若李color代数L可以分解为两个理想的直和，则中心也可以分解为两个理想的直和，而且当中心为零时导子和内导子也有同样的理想直和分解，并且L完备的充要条件是两个理想都完备。

The research of matrixes is continuously an important aspect of the quaternion division algebra. The purpose of this paper is to discuss the property of skew self-conjugate matrix. The definition of skew self-conjugate matrix on real quaternion division algebra is given.

四元数体上矩阵的研究是四元数代数理论中的一个重要方面，本文研究实四元数体上斜自共轭矩阵的性质，给出实四元数体上斜自共轭矩阵的定义。

This paper discussed the matrix of elementary transformation in the higher elementary algebra linear algebra and number theory in wide use.

本论文主要讨论了矩阵的初等变换在高等代数线性代数以及初等数论中的广泛运用。

This paper focuses on a matrix of elementary transformation in higher algebra, linear algebra and number theory in the elementary extensive use.

本论文主要论述了矩阵的初等变换在高等代数、线性代数以及初等数论中的广泛运用。

Proceed from general conclusion of algebra on the finite field, study this special algebra system of Elliptic Curve on the finite field, Discuss that sets up several theories of the Public Key Cryptosystems and the problems of implementation on it.

从有限域上的代数的一般结论出发，研究有限域上的椭圆曲线这一特殊的代数系统，讨论在其上建立公钥密码体制的若干理论和实现问题。

In [3], Kassel gaveHopf *-algebra structures on GL_q(2) and SL_q (2), and also described those on thequantum enveloping algebra U_qsl(2 in detail.

Kassel在[3]中给出了GL_q(2)和SL_q(2)上的Hopf *-代数结构，并且对量子化包络代数U_q sl

A strange and mysterious deep sea creature.

一种奇异、神秘的深海生物。

It's a yellow rectangle .

这是黄色的长方形。