期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
离散数学中数理逻辑的教学探讨
被引量:
1
下载PDF
职称材料
导出
摘要
离散数学是计算机科学中的一门重要专业基础课。数理逻辑既是该门课程的重要内容,也是该课程的难点之一。文章主要探讨如何让学生更好地理解和掌握离散数学中的数理逻辑内容。
作者
邓春燕
郑涵
林芳
机构地区
河池学院计信系
出处
《河池学院学报》
2010年第B08期105-107,共3页
Journal of Hechi University
基金
河池学院教改项目基金资助(项目编号:2008E204)
关键词
离散数学
命题逻辑
一阶逻辑
命题符号化
分类号
G642.4 [文化科学—高等教育学]
引文网络
相关文献
节点文献
二级参考文献
9
参考文献
2
共引文献
32
同被引文献
4
引证文献
1
二级引证文献
0
参考文献
2
1
李锋,孙莉.
任务驱动式方法在离散数学教学中的运用[J]
.计算机教育,2006(3):27-29.
被引量:31
2
牛连强,陈欣,邓金鹏.
小议“离散数学”课程中的应用示例与教学[J]
.高等理科教育,2008(3):35-38.
被引量:5
二级参考文献
9
1
王强.
“离散数学”的教学体会与实践[J]
.内蒙古师范大学学报(教育科学版),2004,17(5):66-67.
被引量:24
2
王锦玉.
《离散数学》教学方法之思考[J]
.中山大学学报论丛,2004,24(5):16-18.
被引量:5
3
温丽萍.
离散数学与计算机科学[J]
.太原师范学院学报(自然科学版),2004,3(4):9-11.
被引量:1
4
姜静 ,张德启 .
案例教学法在学科教育学课程中的运用[J]
.高等理科教育,2005(4):133-135.
被引量:10
5
茹少峰,杜建丽.
数学思维能力的培养——以最短路线问题的求解为案例[J]
.高等理科教育,2006(4):118-121.
被引量:2
6
[美]科尔曼.离散数学结构[M].北京:高等教育出版社,2001.
7
Richard Johnsonbaugh.Discrete Mathematics,2001.
8
钱晓菁,马玉娟.
试论“任务驱动”[J]
.中国电化教育,2002(9):35-36.
被引量:256
9
姜振安.
“任务驱动”教学法与学生实践能力培养[J]
.职教通讯(江苏技术师范学院学报),2003,18(7):48-48.
被引量:289
共引文献
32
1
袁安翠,王公强.
Java语言程序设计教学过程探析[J]
.中国科教创新导刊,2008(32):76-76.
被引量:4
2
唐春林.
“大框架任务式”教学模式研究[J]
.广东水利电力职业技术学院学报,2007,5(4):43-45.
被引量:1
3
杨丹.
浅谈任务驱动教学法在数据结构课程中的应用[J]
.吉林省教育学院学报(下旬),2008,24(11):88-88.
被引量:5
4
李秉璋,徐亚平,罗烨,黄海军.
以提高应用能力为目标进行计算机专业课教学——“面向对象程序设计”教学改革探索[J]
.计算机教育,2006(12):28-31.
被引量:20
5
李红宇.
“任务驱动”法在数据结构教学中的实践[J]
.福建电脑,2007,23(6):208-208.
被引量:13
6
程满玲.
数据结构课程教学模式改革的探索与研究[J]
.武汉商业服务学院学报,2007,21(3):80-81.
被引量:1
7
邓满英.
浅谈信息技术课程教学之感[J]
.世纪桥,2008(5):137-138.
8
王玉萍,黄于欣.
任务驱动法在vb.net教学中的实践与初步探索[J]
.科技信息,2008(7):53-53.
被引量:8
9
师雪霖,尤枫,颜可庆.
离散数学教学联系计算机实践的探索[J]
.计算机教育,2008(20):113-115.
被引量:13
10
廖伟志,李文敬,王汝凉.
基于培养学生计算思维的任务驱动式“离散数学”教学模式研究[J]
.计算机教育,2009(21):93-95.
被引量:16
同被引文献
4
1
王笠.
关于将命题符号化问题[J]
.承德民族师专学报,2007,27(2):13-14.
被引量:1
2
耿素云,屈婉玲,张立昂.离散数学[M].北京:清华大学出版社,2008.
3
周广田,杨丰.
离散数学教学实践的探索[J]
.信息技术,2010,34(7):27-29.
被引量:2
4
张朝康.
相容或排斥或简论──兼评《离散数学》中的一处失当[J]
.培训与研究(湖北教育学院学报),2001,18(2):83-84.
被引量:1
引证文献
1
1
武菊.
对数理逻辑中几组概念的辨析[J]
.科技信息,2011(29).
1
陈敬华,胡松林.
关于命题逻辑中两个问题的思考[J]
.湖北师范学院学报(自然科学版),2011,31(4):103-106.
被引量:2
2
刘丽艳.
案例教学法在命题逻辑推理论证中的应用[J]
.计算机教育,2016(5):124-126.
被引量:5
3
侯雪晨.
数学 学科思想贯穿整卷[J]
.招生考试通讯(高考版),2013(9):6-9.
4
李静铂,吕胜利,杨瑞芳.
一阶逻辑与集合论[J]
.邯郸职业技术学院学报,2004,17(4):72-74.
5
何锋.
离散数学教学中的命题符号化难点讨论[J]
.计算机教育,2007(09S):38-40.
被引量:7
6
郭芸,王朝晖.
离散数学命题符号化的三种方法[J]
.苏州市职业大学学报,2013,24(3):44-46.
被引量:1
7
刘万东.
中学数学仍应使用蕴含符号——关于“→”与“ ”的几点体会[J]
.新课程(教研版),2013(11):80-80.
8
康鹏.
离散数学逻辑推理证明方法的探讨[J]
.电脑知识与技术,2011,7(12):8988-8989.
9
王建辉.
高中数学命题逻辑教学中的疑点分析[J]
.牡丹江教育学院学报,2006(4):123-123.
被引量:2
10
王世球.
关于闭系统命题的一个注记[J]
.皖西学院学报,1994,14(3):41-42.
河池学院学报
2010年 第B08期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部