Investigate the set of all implications on a complete Brouwerian lattice.Define operators to endow these sets as monoid structure, which are also complete Brouwerian lattice.
英
美
释义
研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为么半群,且是完备布劳威尔格;
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载