期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
命题公式类型的判定
下载PDF
职称材料
导出
摘要
本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法。基于遗忘理论提出遗忘合式公式方法,在保持逻辑等值的条件下,遗忘掉公式的冗余命题变元,使得公式包含更少的命题变元,为判定命题公式类型提供一种能行的方法。
作者
林运国
徐荣聪
机构地区
福州大学数学与计算机科学学院
出处
《福建电脑》
2008年第3期23-23,共1页
Journal of Fujian Computer
基金
福州大学校人才基金(XRC-0618)
关键词
重言式
矛盾式
可满足式
遗忘理论
分类号
O141 [理学—基础数学]
O141.1 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
1
参考文献
1
共引文献
5
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
张会凌.
命题公式真值表的生成与公式类型的机械判定[J]
.甘肃联合大学学报(自然科学版),2006,20(1):25-27.
被引量:6
二级参考文献
1
1
张会凌.
命题逻辑判定系统中基本真值矩阵的生成算法[J]
.甘肃联合大学学报(自然科学版),2005,19(1):16-19.
被引量:4
共引文献
5
1
张会凌.
命题公式主范式的自动生成与形式输出[J]
.甘肃联合大学学报(自然科学版),2006,20(5):49-52.
2
徐凤生,李天志.
命题公式真值表的生成算法[J]
.计算机工程与科学,2008,30(1):86-87.
被引量:1
3
戴祖旭.
基于逻辑式的NTFS用户角色计算模型[J]
.武汉工程大学学报,2009,31(9):53-54.
4
张娟.
命题公式主析范式的自动生成系统[J]
.价值工程,2013,32(30):171-172.
5
张娟.
命题公式合法性的自动判定[J]
.价值工程,2015,34(31):201-203.
1
马巧云,吴洪博.
逻辑系统W,W,W_n中的广义矛盾式[J]
.西安文理学院学报(自然科学版),2006,9(3):76-79.
被引量:2
2
刘燕妮,高鹏.
一个新的数论函数及其他对合式的均值[J]
.西北大学学报(自然科学版),2006,36(5):698-700.
被引量:2
3
马巧云,吴洪博,赵艳.
逻辑系统、W、W_n中的广义矛盾式及一种降级算法[J]
.纯粹数学与应用数学,2007,23(4):475-479.
被引量:1
4
方玲.
遗忘理论背景下小班化数学学习材料的有效设计[J]
.新课程学习,2012(5):4-4.
5
吴洪博,阎满富.
Gainse-Rescher逻辑系统中的广义重言式理论[J]
.四川大学学报(自然科学版),2000,37(5):675-682.
被引量:4
6
陆世专,游开明,汪新文,戴志平,杨辉.
有心力场中质点轨道方程求解问题的讨论[J]
.衡阳师范学院学报,2014,35(3):32-35.
被引量:1
7
张天宇.
命题逻辑中公式的成真程度问题研究[J]
.华北水利水电学院学报,2008,29(4):110-112.
8
张红杰,吴洪博.
L_n命题演算中的一种新程度化方法[J]
.纺织高校基础科学学报,2007,20(3):217-222.
被引量:3
9
唐旭清,吴崇俭.
最小二乘问题及其研究[J]
.大学数学,1995,16(2):182-187.
被引量:1
10
范周田,彭娟,黄秋梅.
多元函数极值充分条件证明的一元方法[J]
.数学的实践与认识,2015,45(24):297-300.
被引量:7
福建电脑
2008年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部