查询词典 algebra of logic

Iseki , this theory contact to be suffused with universal algebra, group theory, ring theory, lattice theory,Boolean algebra,set point topology, toplogical algebra etc. we have already obtained the large quantity result to the research of the BCK algebra.

Iseki引入的代数系统，这一理论联系到泛代数、群论、环论、格论、布尔代数、点集拓扑和拓扑代数等，对BCK代数的研究已经取得了一大批的研究成果。

"Higher Algebra" is a 1978 book "Higher Algebra" in the third edition. 1978 edition was compiled by the authors of their "Higher Algebra Lecture"(1964),"A Concise Course in Advanced Algebra"(1965) based on the changes made of.

高等代数》是1978年出版的《高等代数》的第三版。1978年版则是作者在他们所编的《高等代数讲义》（1964年）、《高等代数简明教程》（1965年）的基础上修改而成的。

Secondly, for the spascial AF C* algebra-UHF algebra, I study the linear characterization of 2-local isometry on it: make use of the frame attribute, find the trace state of UHF algebra according to the one of matrix algebra and verify the 2-local isometry is linear.

充分利用UHF代数的结构特点，利用矩阵代数的迹态找到UHF代数的迹态，从而证明了2-局部等距的线性性质。

By utilizing the concepts and methods developed in Algebra Topology,Algebra Geometry and Algebra Representations,we first depicted the concepts and results of Incidence Algebra which reflects the linear structure of underlying posets and Sheaf theory which reflects the topological structure of underlying poset in the framework of Category Theory.

本文综合运用了代数拓扑、代数几何及代数表示论里发展起来的概念与方法，首先在范畴的框架下，对和偏序集的线性结构密切相关的Incidence代数，及与偏序集的拓扑结构紧密联系的层，进行了刻画。

Explicitly, they are consist of three classes: If H is semisimple, then H k* for some finite group; If H is not semisimple and the characteristic of k is zero, then H is isomorphic the dual of the cross product between one so called Andruskiewitsch-Schneider algebra and a group algebra; If H is not semisimple and the characteristic of k is not zero, then H is isomorphic the dual of the cross product between one special algebra and a group algebra.

具体地讲，它们共(来源：5fbfA02BC论文网www.abclunwen.com)分三类：①如果H是半单的，则H同构与一个群代数的对偶；②如果H是非半单的并且基础域的特征是0的话，则H同构一个所谓Andruskiewitsch-Schneider代数与一个群代数交差积的对偶；③如果H是非半单的并且基础域的特征不是0的话，则H同构于某个特定代数与一个群代数交差积的对偶。

The content of this course includes: fundamentals of logic algebra analysis and design of the combinational logic circuit and sequence circuit common applications of the combinational logic circuit and sequence circuit programmable logic devices Hardware Design Description Language A/D (Analog/Digital) and D/A conversion.

课程的主要内容有：逻辑代数基础、组合逻辑电路及时序电路分析与设计、常用中规模组合逻辑及时序逻辑电路应用、可编程逻辑器件、硬件设计描述语言VHDL、数模、模数转换等。

The so-called Chinese Logic refers to ancient Chinese Logic. In other words, it is the traditional Chinese Logic which was not influenced from the western Logic composed mainly by Aristotelian Logic.

所谓中国逻辑，指"中国古代逻辑"，换句话说，就是指以亚里士多德逻辑为传统的西方逻辑传入中国之前的，未受其影响的中国传统逻辑。

The concept of logic ; Aristotelian logic ; deductive logic ; inductive logic ; dialectical logic.

逻辑观；亚里士多德逻辑；演绎推理；归纳逻辑；辩证逻辑

At least in the beginning of 21 century Logic Study will focus on the following topics: common sense inference which is paraconsistent, nonmonotonic and defeasible; generalized inductive inference and inductive logic; generalized intentional logic, especially epistemic logic; natural language understanding and logic of natural language.

如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。

In part one (chapter 2-3), two new methods and systems of optical parallel logic operation are studied. Triple-in Double-out shadow-casting logic operation system is proposed and realized for the first time. Based on this, optical full adder and 3-bit decoder array logic have been obtained. It is the first time to use coding pattern and different reading-writing model to realize BSO-PROM optical parallel logic operation where the time-order operation is avoided, so that the computing speed of optical parallel logic gate which uses this kind of spatial light modulator is increased, and it is successfully used in optical symbolic substitution .

在第一部分，对两种新的并行光学布尔逻辑运算方法及系统进行了研究：首次提出并实现了三输入、双输出铸影光学逻辑运算系统及其由此得到的光学全加器，并提出一种以此为基础的3-比特译码器阵列逻辑，首次利用图形编码和不同的读写模式实现了无时序操作的BSO-PROM光并行逻辑运算，大大提高了这种空间光调制器用作光并行逻辑门的运算速度，使之成功地用于光学符号代换之中。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。