浅议离散数学中数理逻辑和集合论数学本质.docxVIP

浅议离散数学中数理逻辑和集合论数学本 ［摘要］探讨离散数学中数理逻辑和集合论的数学 本质以及它们之间的内在联系，结合笔者的教学体会，说明 在离散数学的教学过程中把握其数学本质的重要性，在此基 础上结合其应用性，能有效提高离散数学的教学效果。 ［关键词］离散数学数理逻辑集合论数学本质 ［中图分类号］G642 ［文献标识码］A ［文章编号］ 2095-3437 (2013) 14-0148-02 离散数学本质上是一门数学课程，是学生数学知识结构 和数学素质的重要组成部分。数学这门学科体系虽然很庞 大，但大致可分为连续型、离散型和随机型这三大类。在大 多数的理工科专业的课程设计中，数学类课程通常包括：高 等数学、线性代数、离散数学、概率论与数理统计等。高等 数学能提供处理连续型的数学问题需要的数学工具；线性代 数与离散数学则提供处理离散型数学问题的数学工具；而概 率与统计则提供处理随机型数学问题的数学工具。 正如徐洁磐在文中指出的：作为计算机学科工具，离散 建模是离散数学区别高等数学的根本之处，也是离散数学与 计算机紧密关联之处，也是使离散数学成为计算机专业核心 课程的原因之一。从学生角度看，离散数学具有抽象、概念 多、知识点零散等特点，在学习中容易遇到困难，极大地影 响了他们学习的积极性。本文探讨离散数学中的数学本质， 目的是理顺这些概念和知识点的关系，进而达到解决学生学 习困难的目