The existence of congruence relation between them was proved by constructing the corresponding algebraic system respectively.
为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系。
Through the application of algebraic system in computer fields,we want to reveal a profound theory about operating on the database to lead to several common algebraic formulations in the system of simplified operation,to directly link up discrete mathematics with computer science.
通过代数系统在计算机领域中的应用,揭示数据库操作的深刻原理,导出简化探作程序中几个常用的代数运算公式,从一个侧面沟通了离散数学与计算机,科学的直接联系。
The aim of this paper is to research on a method for uniformly representing data objects, which is needed by the management tools of CMM, and their operations by the algebraic system.
本文旨在研究使用代数系统对CMM管理工具所需数据对象及其上操作进行统一描述的方法,结合代数系统的定义和定理,将数据对象的全体看作集合,将数据对象上的各种操作定义成该集合上的运算,从而构成代数系统。
We give a new method of DOCEM model-based binding computation for XML algebra system.
给出了一种新的基于分布开放计算模型的XML代数系统的计算方法,并详细论证了该算法的有效性。
Cyclic group is a kind of important algebra system in discrete mathematics.
在离散数学中,循环群是一类重要的代数系统,生成元的求解是判定循环群的一项重要操作。
Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply.
在不涉及偏序关系和序结构的前提下,用一种新的观点剖析了一个熟悉的代数系统———布尔代数,加深了离散数学中代数系统的有关概念的理解和认识。