检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《宁波大学学报(理工版)》2007年第4期493-497,共5页Journal of Ningbo University:Natural Science and Engineering Edition
基 金:浙江省自然科学基金(Y605389);宁波市青年基金资助项目(2005A620032)
摘 要:通过数学软件Mathematica得到全部八阶以下的MTL-代数.采用的计算n(n≤8)阶MTL-代数的算法为从低阶有界分配格出发,依据MTL-代数蕴涵算子的特性,借助数学软件找到所有可能的蕴涵运算表;并在此基础上,依据蕴涵算子计算得到相对应的■运算表;最后,运用MTL-代数的特征,筛选出所有n阶MTL-代数。Using the software MATHEMATICA, we obtained all MTL-algebras which order is less than or equal to 8. This paper adopted the algorithm that computes n order MTL-algebras. Starting with finite distributive lattices and using the properties of MTL-algebras implicator, the corresponding×operational table is obtained. In the end, based on the characteristics of MTL-algebras, all MTL-algebras with order n are factored out.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117

