《离散数学》是计算机科学中基础理论的核心课程,也是软件工程专业和计算机专业的许多专业课程,如《数据结构与算法》、《java语言程序设计》、《操作系统原理与实践》、《数据库系统原理与实践》等必不可少的先行课程。作为现代数学的一个重要分支,离散数学研究离散量的结构及其相互关系。通过本课程的学习,使学生对数理逻辑、集合论、代数结构和图论这四个领域的基本概念和术语、基本定理及初步的运算证明方法和技巧有较好的理解和掌握,掌握离散结构的描述工具和处理方法,对离散数学与计算机科学之间的关系有初步了解,为后续相关课程的学习奠定良好的数学基础。通过本课程的训练,提高学生抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。