abstract algebra
- abstract algebra的基本解释
-
-
[计] 抽象代数
- 相似词
- 相关歌词
- Algebra
- Knock, Knock
- Sh. Fe. MC's
- Mama's Boy
- The Session (Longest Posse Cut In History)
- Verses from the Abstract
- 拼写相近词组、短语
- abstract algebraic geometry
- 更多 网络例句 与abstract algebra相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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、给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质个结构进行了研究,证明了格蕴涵代数的全体弱滤子构成一个拓扑结构,格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。
-
Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.
第三章:定义了MTL-代数中的Fuzzy同余关系,证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的,由同余关系所诱导的商代数依然构成一个MTL-代数;介绍了在满足逆序对合对应的MTL-代数-IMTL-代数,即BR_0-代数中上述几中特殊滤子,Fuzzy滤子之间的关系。
-
The most famous rough algebras are Rough Double Stone Algebra, Rough Nelson Algebra and Approximation Space Algebra, and their corresponding general algebra structures are regular double Stone algebra, semi-simple Nelson algebra and pre-rough algebra respectively.
其中最有影响的粗代数分别是粗双Stone代数、粗Nelson代数和近似空间代数,它们对应的一般代数结构分别是正则双Stone代数、半简单Nelson代数和预粗代数。
- 更多网络解释 与abstract algebra相关的网络解释 [注:此内容来源于网络,仅供参考]
-
Abstract Algebra:抽象代数
那你要用那种理论去解, 例如:有N个矩阵相乘,找出最有效的乘法计算方式来计算,很显然不同的排法,所用得乘法也不一样,这种可以用动态规划(Dynamic Programming)如何利用数论(Number Theory) 与 抽象代数 (Abstract Algebra) 建立安全的密码应
-
Abstract Algebra:近世代数
受了:密码学很大程度上是近世代数(Abstract algebra)延伸. 对于大多数算法,要想理解,要想分析,没有近世代数的基础是不可能的. 个人觉得本科,研究生阶段相关课程
-
Abstract Algebra:抽象代数学
abstract account | 摘要帐户 | abstract algebra | 抽象代数(学) | abstract algebraic variety | 抽象代数簇
-
Abstract Algebra Dummit:最好的本科代数学参考书,标准的研究生一年级代数教材
7、From calculus to cohomology by Madsen:很好的本科生代数拓扑、微... | 1、Abstract Algebra Dummit:最好的本科代数学参考书,标准的研究生一年级代数教材; | 2、Algebra Lang:标准的研究生一、二年级代数教材,难度很高,...
-
Abstract Algebra Dummit:最好的本科代数学参考书,标准的研究生一年级代数材
7、from calculus to cohomology by Madsen:很好的本科生代数拓扑、微... | 1、Abstract Algebra Dummit:最好的本科代数学参考书,标准的研究生一年级代数材; | 2、Algebra Lang:标准的研究生一、二年级代数教材,难度很高,适...
- 加载更多网络解释 (3)