节点文献

数理逻辑教学方法探讨

On the Teaching Approach of Mathematical Logic

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 李志敏夏学文张学敏

【Author】 Li Zhimin,Xia Xuewen,Zhang Xuemin(School of Computer and Information Science,Xiaogan University,Xiaogan,Hubei 432000,China)

【机构】 孝感学院计算机与信息科学学院

【摘要】 数理逻辑不仅是离散数学课程的基础,也是计算机科学与技术专业其他课程学习的重要基础。文章就如何提高数理逻辑的教学质量,提出了注重教学内容的合理拓展与延伸、注重数理逻辑在计算机科学与技术领域应用背景的介绍、注重引入先进教学资源和教学辅助工具(如ProofWeb)等教学方法。

【Abstract】 Mathematical logic is a foundation of discrete mathematics and also an important basic knowledge for learning in computer science and technology speciality.In this paper,for the purpose of improving teaching quality of mathematical logic,the authors proposed teaching approach from the aspects of focusing on the reasonable extending of teaching content,introducing applications-oriented background knowledge and the advanced teaching resources and aided teaching tools such as ProofWeb.

  • 【文献出处】 孝感学院学报 ,Journal of Xiaogan University , 编辑部邮箱 ,2010年03期
  • 【分类号】O141-4
  • 【被引频次】2
  • 【下载频次】206
节点文献中: 

本文链接的文献网络图示:

本文的引文网络