- 重点词汇
- mean by通过…表达;
- proceduren.程序，手续;工序，过程，步骤;诉讼程序，（议会的）议事程序;〈罕〉进行;
- expressingv.表达( express的现在分词 );（用符号等）表示;榨;[express oneself]（如在说话、写作或绘画中）表达（自己）的意见;
- algebraicallyadv.用代数方法;
- findv. (意外或偶然地)发现;碰到;找到;找回;(经寻找、研究或思考)发现;发觉;查明;找出;求得
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- itpron.它;他;正好是所需的;事实[情况];
- indicatev.表明，暗示;指示;象征;打转向灯指示转弯;被建议;
- howadv.怎样;健康状况如何;到何种地步;以任何方式;
- isvt.& vi. 是(be的三单形式);
- 相关例句
In this paper , we introduce UB algebras for universal logic in the ideal condition.
泛逻辑学对应的代数系统-UB代数, 给出它的一系列性质.
互联网摘选
将李代数的广义导子的概念推广到李三系中.
互联网摘选
In this paper , the concept of ultrafilter of lattice implication algebras is proposed.
根据逻辑代数方程理论, 提出了格蕴涵代数方程的概念.
互联网摘选
The fundamental theory of Lie groups and Lie algebras on robotics is expatiated in brief.
对李群李代数方法在机器人中的应用做了基本的阐述,澄清了一些基本概念.
互联网摘选
表示论中出现的许多代数(如路代数)和代数几何中出现的一些代数 ( 参见 [ BGS ] ) 是这样的正分次代数.
互联网摘选
Koszul algebra was introduced by Priddy in 1970 . Roland Berger generalized it to t-Koszul algebras.
1970年,Priddy将Koszul代数的概念引入到代数的研究中.
互联网摘选
The concept of primary filter is proposed in residuated lattice implication algebras.
在剩余格蕴涵代数中,提出准素滤子的概念.
互联网摘选
We mainly consider completely monotone functions from semigroup to operator algebras.
我们主要讨论了作用在半群上取值于算子代数的完全单调函数.
互联网摘选
Two criteria reducibility of presentations of finite dimensional associative algebras are presented.
给出有限维结合代数上表示可约性的两个判别法.
互联网摘选
When Algeria declared independence in 1962, they off all shipping to France.
当1962年,阿尔及利亚宣布独立之后, 他们切断了全部通往法国的航线.
互联网摘选
