期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
正则可离关系之最小覆盖成员的判定结果
1
作者
刘玉珍
刘任任
《计算机工程与应用》
CSCD
北大核心
2007年第5期28-29,44,共3页
根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。
关键词
多值逻辑
完备性
SHEFFER函数
极大封闭集(准完备集)
最小覆盖
正则可离关系
下载PDF
职称材料
题名
正则可离关系之最小覆盖成员的判定结果
1
作者
刘玉珍
刘任任
机构
湘潭大学信息工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第5期28-29,44,共3页
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60083001)
湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY3099)
湘潭大学(04XZX02)
文摘
根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。
关键词
多值逻辑
完备性
SHEFFER函数
极大封闭集(准完备集)
最小覆盖
正则可离关系
Keywords
multiple-valued
logic
completeness
Sheffer
function
maximal
closed
sets
（precomplete
sets
）
minimal
covering
regular
separable
relation
分类号
O141 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
正则可离关系之最小覆盖成员的判定结果
刘玉珍
刘任任
《计算机工程与应用》
CSCD
北大核心
2007
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
