数理逻辑教学方法探讨.pdfVIP

第 3O卷第 3期 孝感学院学报 VOL．3O N0．3 2010年 5月 JOURNAL OF XIA0GAN UNIVERSITY MAY．2O10 数理逻辑教学方法探讨 李志敏 ，夏学文，张学敏 (孝感学院计算机与信息科学学院，湖北 孝感 432000) 摘 要 ：数理逻辑不仅是离散数学课程的基础 ，也是计算机科学与技术专业其他课程学习的重要基础 。文 章就如何提高数理逻辑的教学质量，提 出了注重教学 内容的合理拓展与延伸、注重数理逻辑在计算机科学与技 术领域应用背景的介绍、注重引入先进教学资源和教学辅助工具(如ProofWeb)等教学方法。 关键词 ：离散数学；数理逻辑 ；计算机科学与技术专业 ；ProofWeb 中图分类号 ：G642．41 文献标识码 ：A 文章编号 ：1671—2544(2010)03—0105—04 离散数学是现代数学 的一个重要分支，是计