- 更多网络例句与代数系统相关的网络例句 [注:此内容来源于网络,仅供参考]
-
In this paper, we discuss some kinds of special filters and congruence relation in fuzzy algebraic system MTL which is used extensively. The conceptions of the special filter are fuzzified in terms of the fuzzy set of Zadehs theories and further study them by way of logic algebra of n-value.
本文在具有广泛应用的模糊逻辑代数系统MTL-代数中,讨论了几类特殊滤子和同余关系,并且进一步用多值逻辑代数的方法研究它们。
-
Lattice implication algebra is an algebraic system combinating lattice with implication algebra.
格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。
-
OR-coincidence algebraic system has close relationship with modular algebraicsystem, so it is necessary to study this algebraic system.
或-符合代数系统与模代数系统有着密切的关系,对它的研究也成为热点。
-
The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).
本课程包含四部分内容:数理逻辑(包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论),集合论(包含集合代数、二元关系、函数和基数),代数结构(包含代数系统、半群与群、环与域、格与布尔代数),图论(包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集)。
-
With proving the isomorph between the function matrix algebra systems and the Boolean algebra s disjunction-conjunction systems,a method of extending the function matrix is proposed,and the expanding theorem of the extended function matrix is proven.
提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法。
-
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代数的研究已经取得了一大批的研究成果。
-
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.
在不涉及偏序关系和序结构的前提下,用一种新的观点剖析了一个熟悉的代数系统———布尔代数,加深了离散数学中代数系统的有关概念的理解和认识。
-
According to the rough structure and algebra structure, the main work is to study the application of rough set theory on algebra system-groups and rings in this thesis. So that rough algebra system is built better perfectly.
本文根据粗糙结构和代数结构,研究了粗糙集理论在代数系统——群、环上的应用,以此建立比较完善的粗糙代数系统。
-
In this paper,the main work is to extended the premitive model of rough sets;Accorting to the Rough structure and algebra structure,the main work is to study the application of rough set theory on algebra system-group,so that rough algebra system is better perfectly.
本文在现有的Pawlak粗糙集模型基础上,对模型进行推广;根据粗糙结构和代数结构及已有的研究成果的基础上,更进一步地研究了粗糙集理论在代数系统一群上的应用,以此建立较为完善的粗糙代数系统。
-
This paper also gives a numeral model of LCS problem by using string-coding function, and proves that the LCS problem can be treated as so_called Tomograph problem and be solved with algorithms and hardware suitable for Tomograph problem.
本文提出与LCS问题和一阶Unification问题对应的两种格代数系统,并用项图描述Unification问题,从而构造得到这两种格代数系统之间的同态,使得用求解LCS的算法和硬件求解一类Unification问题成为可能,给出基于LCS硬件的Unification求解器的原理方案。
- 更多网络解释与代数系统相关的网络解释 [注:此内容来源于网络,仅供参考]
-
Modern Algebra:近世代数
在发展的早期公式抽象代数(Abstract algebra)又称近世代数(modern algebra),它产生于十九世纪. 抽象代数是研究各种抽象的公理化代数系统的数学学科. 由于代数可处理实数与复数以外的物集,例如向量、矩阵超数、变换(transformation)等,
-
Boolean algebra:布尔代数
(2)布尔代数(Boolean Algebra)是代数系统中最为基础的部分,也是最核心的基本理论. 主要包括了集合的基本概念和运算,自对偶的公理系统. 是数据表示的重要基础. 相信大家都非常清晰他的重要性. (3)关系代数(Relational Algebra)应用也是极为广泛,
-
Boolean algebra:(氏)代数
]如布氏代数(Boolean algebra )原本也似一无用处,如今却广泛地应用於电话瑞典易立信在能源系统主要包含三个产品:电源系统(Power System)、气候控制系统,泛指一般空调系统(Climatc)及能源管理(Energy Management).
-
algebraic system:代数系统
algebraic symbol 代数符号 | algebraic system 代数系统 | algebraic value 代数值
-
hypercomplex system:超复数系统,代数
hypercomplex number 结合代数,四元数 | hypercomplex system 超复数系统,代数 | hyperconical function 超锥函数
-
set system algebra:集合系统代数
"集合符号","set symbol" | "集合系统代数","set system algebra" | "设定系统遮罩","set system mask,SSL"
-
algebraically closed:代数封闭
algebraic operation 代数运算 | algebraically closed 代数封闭 | algorithm 算法系统; 规则系统
-
algebraically closed:代数封闭Btu中国学习动力网
algebraic operation 代数运算Btu中国学习动力网 | algebraically closed 代数封闭Btu中国学习动力网 | algorithm 算法系统; 规则系统Btu中国学习动力网
-
algebraically independent:代数无关[的]
代数微分方程|algebraic differential equation | 代数无关[的]|algebraically independent | 代数系统|algebraic system
-
Interpolative algebraic reconstruction:插值代数重建算法
非线性代数方程组:nonlinear algebraic equations | 插值代数重建算法:Interpolative algebraic reconstruction | 微分代数混杂系统:Differential-Algebraic Hybrid System