期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
关于一阶逻辑命题符号化的思考
下载PDF
职称材料
导出
摘要
命题符号化是逻辑推理的基础,本文讨论一阶逻辑命题符号化需要注意的几个问题,帮助学生更好地掌握一阶逻辑的命题符号化。
作者
陈莉莉
机构地区
华侨大学数学科学学院
出处
《新校园(上旬刊)》
2017年第10期108-108,共1页
New Campus
关键词
一阶逻辑
命题符号化
个体域
分类号
G633.6 [文化科学—教育学]
引文网络
相关文献
节点文献
二级参考文献
1
参考文献
1
共引文献
6
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
何锋.
离散数学教学中的命题符号化难点讨论[J]
.计算机教育,2007(09S):38-40.
被引量:7
二级参考文献
1
1
林丹玲.
浅谈计算机专业离散数学课程的教学[J]
.计算机教育,2006(4):35-36.
被引量:10
共引文献
6
1
师雪霖,尤枫,颜可庆.
离散数学教学联系计算机实践的探索[J]
.计算机教育,2008(20):113-115.
被引量:13
2
于红斌.
离散数学中关系理论的系统实验设计[J]
.计算机教育,2008(20):129-130.
3
张蕾,黄文芝.
“离散结构”课程的教学探索[J]
.中国电力教育(中),2011(6):96-96.
被引量:1
4
郭芸,王朝晖.
离散数学命题符号化的三种方法[J]
.苏州市职业大学学报,2013,24(3):44-46.
被引量:1
5
付勇君.
形式语义学视角下的命题符号理论研究综述[J]
.兰州交通大学学报,2020,39(1):136-141.
6
买凤霞,杜永强.
离散数学课程思政建设探讨[J]
.中国教育技术装备,2021(9):102-104.
被引量:1
1
张建军.
正规模态集合论悖论及相关问题[J]
.逻辑学研究,2017,10(3):35-57.
被引量:17
新校园(上旬刊)
2017年 第10期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部