名词解释题
发布日期:2020-04-11
Concurrent Clean,简称Clean,是纯函数式程序设计语言,它和Haskell有很多相似之处。Clean是用C写成的。 Clean程式很容易跨平台,在大部分情况下,要转移到另一个平台只需在那里重新编译一次即可,不用改动源代码。
拼音:bì lǐ bó lǎ
模格(modular lattice)亦称戴德金格,是格论中仅次于分配格的一类重要格,设L是格,对任意a,b,c∈L,若L满足下列条件之一:L5:若a≤c,则a∨(b∧c)=(a∨b)∧c;L5′:(a∧b)∨(a∧c)=a∧(b∨(a∧c));则称L为模格,L5称为模恒等式。分配格是模格。群的正规子群格、环的理想格都是模格。格L是模格当且仅当L不含五边形格。科里比亚(M.Kolibiar)于1956年用两个恒等式(x∨(y∧y))∧y=y和((x∧y)∧z)∨(x∧t)=((t∧x)∨(z∧y))∧x刻画了模格,模格中一个非常重要的定理是戴德金的转置原理:若L是模格,a,b∈L,则φb:x→x∧b是[a,a∨b]到[a∧b,b]的同构,其逆同构为ψa:y→y∨a.从而在模格L中,若x,y∈[a∧b,b]⊆L,则a ∨(x∧y)=(a∨x)∧(a∨y)。
标签: clean
题王网让考试变得更简单
扫码关注题王,更多免费功能准备上线!
此试题出现在
其他考试
机动车包括()
低频25.7HZ的定义是什么?
可变分区管理的主存分配算法中,需要在空闲区表中将空闲区项按长度以递增或递减次序排列的分配算法是( )
集中式空调系统中,()机制空调系统所处理的空气全部来自室外,室外空气经处理后送入室内,使用后全部排出室外。
三相异步电动机的效率特性与变压器相似,也有效率最高点。
要式合同是指( )的合同。
以下哪个方面不能够体现出古建筑设计和现代建筑设计的不同之处?()
联营企业指两个及两个以上相同或不同所有制性质的企业法人或事业单位法人,按自愿、平等、互利的原则,共同投资组成的经济组织。下列属于联营企业的是( )。
雷锋精神集一身,风吹日晒为人民,要问在哪能看到,夜夜出现伴行人。猜交通设施。()
下列关于神经干细胞的描述正确的是()
暂无相关推荐~
Clean B/L
You may use the room as you like ______ you clean it up afterwards.
Can you help clean the window?()
Can you help clean the window?()
CLEAN-B/L的意思是()
()are used to clean the bridge.
I need ()more volunteers to help clean the classroom.
How long did it take to clean the holds?()
You may use the hospital()you clean it up afterward.
Everything on the bridge should ()clean and tidy.