检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:黄红雨 张昆龙[1] HUANG Hongyu;ZHANG Kunlong(College of Science,Minzu University of China,Beijing 100081,China)
出 处:《中央民族大学学报(自然科学版)》2023年第4期5-9,共5页Journal of Minzu University of China(Natural Sciences Edition)
摘 要:本文首先介绍了格、分配格和有1分配格的定义、定理,然后提出了两个新的有1分配格的三条件等价定义,这两个等价定义比原来四条件等价定义的等式个数更少、长度更短,最后根据有1分配格所满足的五条运算律做了与原始定义的等价性证明。Firstly,this paper introduces the definitions of the lattice,distributive lattice,and distributive lattices with unit element,then gives two three-condition equivalence definitions of distributive lattices with unit element.These two equivalence definitions are fewer than the original four-condition equivalence definitions.Lastly,we prove the equivalence with the original definition according to the five operating laws satisfied by the distributive lattices with unit element.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38