离散数学研究离散结构及其相互关系,是计算机科学与工程专业的核心基础课,是数据结构、编译原理、数据库、计算机组成原理、算法分析、人工智能、计算机网络等计算机专业课程的数学基础。
这门课程对离散数学的理论进行系统的阐述,对离散结构的表示、分析和证明方法进行严谨的介绍。通过丰富的应用实例介绍离散系统的建模和分析方法,帮助同学们在掌握基础理论的同时,理解离散数学理论在解决实际问题中的应用,提高学生应用理论知识分析问题和解决问题的能力,培养和提高逻辑思维能力和计算思维能力。
本课程学习数理逻辑,集合、关系和函数,图论的基本概念、分析和证明方法,为后续计算机学科相关课程学习打下坚实的理论基础。