说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> L-论域
1)  L-domains
L-论域
1.
Maximum-separability of L-domains;
L-论域的极大可分性(英文)
2)  L-fields
L-域
1.
In this paper,we present the concept of L -weak ideals of algebra over L- fields and study their important properties.
定义了L-域上的代数的L-弱理想的概念,并证明了它的若干性质。
3)  L-bi-fuzzy continuous domain
L-双模糊连续论域
1.
In this paper,under the condition of L-being a completely distributive lattice,the concepts of L-bi-fuzzy way-bellow relation,L-bi-fuzzy continuous domain,and L-bi-fuzzy algebraic domain are introduced.
本文在L为完全分配格的情况下,定义了L-双模糊逼近关系、L-双模糊连续论域及L-双模糊代数论域的概念,并给出了这些关系的等价刻画,以及L-双模糊逼近关系的一些性质。
4)  L-bi-fuzzy algebraic domain
L-双模糊代数论域
1.
In this paper,under the condition of L-being a completely distributive lattice,the concepts of L-bi-fuzzy way-bellow relation,L-bi-fuzzy continuous domain,and L-bi-fuzzy algebraic domain are introduced.
本文在L为完全分配格的情况下,定义了L-双模糊逼近关系、L-双模糊连续论域及L-双模糊代数论域的概念,并给出了这些关系的等价刻画,以及L-双模糊逼近关系的一些性质。
5)  L-smooth sr-remote neighbourhood
L-smoothsr-远域
6)  L-fuzzy Subfield
L-fuzzy子域
补充资料:论域理论


论域理论
domain theory

Iunyul一Iun论域理论(d~in theo叮)指称语义的数学基础,简称域论,由D.段。tt于本世纪60年代创建。 指称语义的特点就是把每个语言成分映射为一个数学对象,然后用此数学对象上的运算来表达该语言成分的语义。但是,这个数学对象往往是递归定义的。例如,考察下列用BNF写的表达式定义(参见巴克斯范式):EXP::=NUM{AEX」〕}CEXI)NUM二:=D了G了T!NUMI)I‘ITAEXP::二五XF十五XP!EXF一EXP}五XF‘EXF(王义尸::=if〔丫〕ND th即EXF dse EX尸fi(义〕闪D::=EXI〕二E火FIE火P>五Xl〕}乙心〕
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条