计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
28期
49-50,84
,共3页
剩余格%完备剩余格%闭包算子%蕴涵闭包算子
剩餘格%完備剩餘格%閉包算子%蘊涵閉包算子
잉여격%완비잉여격%폐포산자%온함폐포산자
利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理.
利用蘊涵運算,在完備剩餘格上定義瞭蘊涵閉包算子,給齣瞭它的若榦等價刻畫及其錶示定理.
이용온함운산,재완비잉여격상정의료온함폐포산자,급출료타적약간등개각화급기표시정리.