期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 被引量：4
1
作者 刘玉珍 刘任任 《海军工程大学学报》 CAS 2004年第5期17-20,共4页
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.
关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖
下载PDF
部分K值逻辑中最小覆盖之判定的一些结果 被引量：5
2
作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第23期38-39,50,共3页
根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖
下载PDF
部分K值逻辑中正则可离函数集的一些结果 被引量：2
3
作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2006年第9期48-49,72,共3页
根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。
关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖
下载PDF
正则可离关系之最小覆盖成员的判定结果
4
作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第5期28-29,44,共3页
根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。
关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 正则可离关系
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部