期刊文献+

数理逻辑课程的教学方法简谈

Brief Talk to Teaching Methods of Mathematical Logic
下载PDF
导出
摘要 概念多、高度抽象是数理逻辑课程的显著特点。文章根据多年的数理逻辑课程的教学经验,总结出学生不易理解的一些内容,然后提出使用比较法和举例法将这些内容讲解给学生的一些看法。最后还探讨教学过程中如何处理好板书与多媒体的关系,以及实际应用例子的重要性等问题。 Involving many concepts and being highly abstract are obvious features of Mathematical Logic class.In this paper,based on years of teaching experience in Mathematical logic class,we summarize several contents which is hard to understand for students,then gives some opinions about teaching these contents using comparison method and Illustration of example method,finally we discuss how to deal with the relationship between writing on the blackboard and multimedia technique,and the importance of practical example.
出处 《新疆师范大学学报(自然科学版)》 2010年第3期104-107,共4页 Journal of Xinjiang Normal University(Natural Sciences Edition)
基金 新疆维吾尔自治区自然科学基金(2009211B05) 新疆大学自然科学基金(BS090103 070194)
关键词 数理逻辑 比较法 举例法 Mathematical Logic Comparison Method Illustration of example method
  • 相关文献

参考文献4

  • 1耿索云,屈婉玲,王捍贫.离散数学教程[M].北京:北京大学出版社,2002:251-259.
  • 2帕力旦.赛力提尼牙孜,阿力木.计算机专业离散数学课程教学改革探讨与实践[J].现代教育技术,2009,19(S1):262-264. 被引量:7
  • 3Chen.Zhao,Nuermaimaiti.Heilili,Shengping.Liu,and Zuoquan.Lin.Representation and Reasoning on RBAC:A Description Logic Approach Proceedings of the International Colloquium on Theoretical Aspects of Computing(ICTAC 2005),2005,(3722):381-393.
  • 4Nuermaimaiti.Heilili,Yang.Chen,Chen.Zhao,Zhenxing.Luo,and Zuoquan.Lin,An OWL-Based Approach for RBAC with Negative Authorization[J].First International Conference on Knowledge Science,Engineering and Management,KSEM'06,LNAI,2006,(4092):164-175.

二级参考文献1

共引文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部