期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
极小完备集的证明方法
下载PDF
职称材料
导出
摘要
本文分析了极小完备集的性质,并通过对几类极小完备集的证明,探讨了极小完备集的证明方法。
作者
李艳华
张晓梅
李战国
机构地区
河南农业大学信息与管理科学学院
出处
《高等函授学报（自然科学版）》
2011年第1期36-37,共2页
Journal of Higher Correspondence Education(Natural Sciences)
关键词
完备集
极小完备集
联结词
命题变元
分类号
O141 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
4
参考文献
2
共引文献
4
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
2
1
尹宝林等.离散数学[M].北京:高等教育出版社,2001.
2
邓燕.
对数理逻辑中最小联结词组的扩展讨论[J]
.嘉兴高等专科学校学报,1999,12(4):47-51.
被引量：5
二级参考文献
4
1
左孝凌 李为鉴 等.离散数学[M].上海:上海科技文献出版社,1981..
2
马振华.数理逻辑导论[M].北京:清华大学出版社,1981..
3
李为鎏.离散数学－－方法导引[M].上海:复旦大学出版社,1991..
4
张一立 唐常杰 等.离散数学教程[M].四川:四川大学出版社,1990..
共引文献
4
1
黄喻,邹辉.
全功能联结词集合的一个注记[J]
.西南民族大学学报（自然科学版）,2006,32(4):654-658.
被引量：1
2
王建.
联结词的可表性与完全集[J]
.绍兴文理学院学报（自然科学版）,2006,26(1):21-24.
3
魏贵民,邹辉.
全功能联结词集合的计算机实现[J]
.成都理工大学学报（自然科学版）,2007,34(3):359-363.
被引量：1
4
王建.
联结词的可表性与完全集Ⅱ[J]
.绍兴文理学院学报,2007,27(9):15-19.
1
郭军.
集合代数上几种代数运算的极小完备集[J]
.张家口师专学报（自然科学版）,1997(2):20-22.
2
李亚男,郑文艳.
命题逻辑的计算机实现[J]
.电子世界,2013(19):171-171.
3
潘启瑞,李梧生.
数学推理[J]
.韩山师专学报,1982,3(1):39-51.
4
李庆宏.
关于命题公式的主范式[J]
.阜阳师范学院学报（自然科学版）,2002,19(3):9-11.
被引量：1
5
许会峰.
“反对称关系2个定义逻辑上之等价性的注记[J]
.保定师范专科学校学报,2004,17(4):6-7.
6
苏岐芳.
极大独立集的逻辑算法[J]
.广西师范学院学报（自然科学版）,2003,20(1):20-22.
被引量：2
7
王伟,姜保庆,徐扬.
格值命题逻辑系统LP(X)中广义文字的α-归结域[J]
.西南交通大学学报,2005,40(4):544-547.
被引量：1
8
王伟,徐扬,秦克云.
格值命题逻辑LP(X)中不可分极简式的性质[J]
.模糊系统与数学,2004,18(1):47-52.
9
王三民,伍军云.
模糊逻辑~*和NM的公理系统的简化[J]
.模糊系统与数学,2006,20(2):18-22.
被引量：3
10
周红军,王国俊.
系统L^＊中极大相容理论结构刻画的归纳证明[J]
.陕西师范大学学报（自然科学版）,2008,36(3):1-6.
被引量：3
高等函授学报（自然科学版）
2011年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
