集合代数

Assume a Lie algebra g has a form B which has all the useful properties of Killingform:bilinearity nondegeneracy,symmetry and invariance.Note that for such a Liealgebra the adjoint representation is equivalent to the coadjoint representation.We callit a symmetric self-dual Lie algebra and the form B an invariant scalar product.

在第一部分的最后一节，我们引进了拟Heisenberg代数的概念，证明了这些李代数均为具有非极大秩的CN李代数，进一步我们还证明了这些CN李代数构成的集合与极大秩幂零李代数构成的集合之间存在着1-1对应关系。

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

Preliminaries: An introduction to the basic ingredients of the algebraic system, such as sets and mappings of these sets.

预备知识：介绍代数系的基本要素，即集合，集合的映照。

As thezeros of multivariate splines, the piecewise algebraic variety is a generalization of theclassical algebraic variety.

分片代数簇作为多元样条的公共零点集合，是经典代数簇的推广，它不仅和许多实际问题如多元样条插值，CAD和CAGD等有关，而且还为研究经典代数几何提供理论依据。

Through using category theory, this paper investigates the properties of subcoalgebras, especially, the properties of subcoalgebras on Set, the category of sets and functions. This paper shows that all the subcoalgebras on Set are regular.

以范畴理论为工具讨论子共代数的性质，特别是集合范畴上的子共代数的性质，证明了集合范畴上的子共代数都是正则子共代数。

In this article, we first discuss the various algebraic properties of fuzzy sets, and then define a fuzzy digraph by the fuzzy set and the fuzzy relation of the set.

在本文中，我们首先讨论迷离集合的各种代数性质，然后我们利用一个集合的迷离集合与其迷离关系来定义迷离有向图形。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The results obtained in the thesis are as follows: Firstly, the thesis proves that the inner measure and outer measure which defined by Fagin and Halpern are a kind of random sets, generalizes the concept of random sets to Boolean algebra's, and hence establishes the theory of the generalization of random sets.

本文的主要结果如下：①本文证明了Fagin和Halpern提出的内、外测度可表示为一种随机集合，并把随机集合的概念从幂集合推广到了布尔代数上，从而提出了广义随机集合理论。

On the basis of extending the concepts of the derived function, primitive function and integration of interval-valued function to complex interval-valued function and using the descomposition theorem of complex fuzzy set, the derived function, primitive function and integration of complex fuzzy set-valued function and some properties of them are proved.

2在国际上最先引入了复模糊集合与复模糊数的基本概念，证明了它们的基本代数运算的封闭性，并且其运算可通过α水平复集合的相应运算来进行

His senior thesis was on the structure of group algebras and he has a master's in math from Berkeley.

他的他的毕业论文是关于集合代数的结构。他还有伯克利大学的数学硕士学位。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。