algebras

英 [ˈældʒɪbrəz]

美 [ˈældʒəbrəz]

网络  代数

双语例句

• The relationships among Boolean algebra, set algebra, logic, and binary arithmetic have given Boolean algebras a central role in the development of electronic digital computers.
  由于布尔代数、集合代数、逻辑学和二进制算术之间的内在联系，使得布尔代数的理论在电子数字计算机的开发研制中举足轻重。
• The concept of primary filter is proposed in residuated lattice implication algebras.
  在剩余格蕴涵代数中，提出准素滤子的概念。
• The underlying model of time appropriate to the application can range from discrete natural numbers and integers to dense linear real numbers or to algebras of intervals and trees.
  为了符合应用，关于时间的模型从离散的自然数和整数，延伸到稠密的线性实数，甚至扩展到区间代数和树代数。
• The fundamental theory of Lie groups and Lie algebras on robotics is expatiated in brief.
  对李群李代数方法在机器人中的应用做了基本的阐述，澄清了一些基本概念。
• We give a sufficient condition for a finite dimensional symmetric self-dual Lie color algebras to be a double extension, thus we solve its classification in the sense of cohomology;
  我们给出了有限维对称自对偶色李代数可以双扩张的充分条件，从而在上同调意义下解决了这类色李代数的分类问题；
• All finite-dimensional path lie algebras are solvable and their Cartan subalgebras of them are obtained.
  给出了有限维路李代数均可解的结论和所有的卡当子代数；
• Simplify the axiom system of lattice implication algebras, which was given by Y.
  给出的格蕴含代数的公理系统，并给出另一个公理系统。
• Crossed Modules and Third Cohomology of Triangular Lie Algebras
  上三角矩阵代数的交叉模和三阶上同调群
• BL algebras, R0 algebras and MTL algebras which are proposed recently are representative results in this area.
  近期提出的BL代数，R0代数，MTL代数就是这个方向具有代表性的研究成果。
• The authors show that the Lies Theorem holds for Lie color algebras with a torsion-free abelian group G.
  作者证明了无挠群上的色李代数的李定理，同时，也给出例子说明无挠性是必要的。