期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
主范式在数理逻辑中的重要作用
被引量:
2
下载PDF
职称材料
导出
摘要
从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。
作者
储昭辉
机构地区
合肥学院数理系
出处
《滁州学院学报》
2006年第4期44-46,共3页
Journal of Chuzhou University
关键词
命题公式
谓词公式
真值表
主析出范式
主合取范式
分类号
O141 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
2
共引文献
3
同被引文献
5
引证文献
2
二级引证文献
5
参考文献
2
1
张炳汉.
真值表在数理逻辑中的重要作用[J]
.天中学刊,1997,12(2):20-23.
被引量:4
2
[4]Hamilton A G.Logic for mathematicians[M].Cambridag University,1978.
共引文献
3
1
赵立厂,王若成.
一种基于地磁传感器的井下行车引导信号自动控制装置[J]
.电子世界,2017,0(12):132-133.
被引量:1
2
许联航.
矿井架线机车接触网分并线装置联锁控制系统[J]
.机械工程与自动化,2020(1):160-161.
被引量:1
3
张涛,先进进,李艳,徐仁伯.
Multisim在数字电路中的设计与仿真应用[J]
.电子元器件与信息技术,2020,4(7):127-128.
被引量:3
同被引文献
5
1
徐凤生.
命题逻辑中的集合表示[J]
.计算机与现代化,2005(5):4-6.
被引量:2
2
杨彦.浅析离散数学中关系图的教学研究[J]中国水运(理论版),2006(05).
3
王青海.
数理逻辑中范式教学探讨[J]
.计算机教育,2008(12):60-62.
被引量:5
4
吕诚,孙秀华,吕敏.
主范式的计算方法及其在命题公式中的作用[J]
.宜春学院学报,2011,33(4):39-40.
被引量:2
5
杨菲.
主析取范式的求法及其应用[J]
.科教文汇,2013(6):53-53.
被引量:2
引证文献
2
1
王青海.
数理逻辑中范式教学探讨[J]
.计算机教育,2008(12):60-62.
被引量:5
2
黄忠铣,周榕.
主范式的求解及其应用[J]
.武夷学院学报,2016,35(3):51-54.
二级引证文献
5
1
何忠秀.
对离散数学教学的一点建议[J]
.中国科教创新导刊,2009(26):92-92.
被引量:1
2
何忠秀.
巧用线索教学法,提高离散数学教学质量[J]
.高等教育研究(成都),2010,27(1):48-49.
被引量:2
3
黄海.
数理逻辑教学刍议[J]
.广西民族师范学院学报,2012,29(3):82-85.
被引量:1
4
申华,张胜元.
浅谈离散数学中数理逻辑与集合论的数学本质[J]
.大学教育,2013(14):148-149.
被引量:3
5
黄忠铣,周榕.
主范式的求解及其应用[J]
.武夷学院学报,2016,35(3):51-54.
1
王凡彬.
关于主范式的定义[J]
.内江师范学院学报,2004,19(2):61-62.
2
胡纪华.
主范式在推理有效性判断中的应用[J]
.安康学院学报,2011,23(3):89-91.
3
张炳汉.
真值表在数理逻辑中的重要作用[J]
.天中学刊,1997,12(2):20-23.
被引量:4
4
徐凤生.
命题逻辑中的集合表示[J]
.计算机与现代化,2005(5):4-6.
被引量:2
5
屈俊峰,张青宁.
谓词公式的翻译[J]
.现代计算机,2009,15(2):144-145.
6
张型岱.
主范式的运算性质[J]
.牡丹江师范学院学报(自然科学版),2002,28(3):20-21.
7
张型岱,张格华.
主范式的运算性质[J]
.数学的实践与认识,2004,34(4):118-121.
被引量:4
8
陈玉霞.
主范式求法探索[J]
.技术与教育,2005,19(1):16-17.
9
李庆宏.
关于命题公式的主范式[J]
.阜阳师范学院学报(自然科学版),2002,19(3):9-11.
被引量:1
10
胡纪华.
几类主范式在命题推理正确性判断中的应用[J]
.安康学院学报,2013,25(3):5-8.
滁州学院学报
2006年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部