课程简介
离散数学是研究离散量的结构和相互间的关系，是在抽象和理论的基础上提供的数学方法，是计算机科学中基础理论的核心课程。离散数学为许多后继课程（如数据结构、操作系统、数据库原理、软件工程、算法设计与分析、系统结构、网络原理）提供了必要的数学基础和工具。同时，离散数学为学生提高分析问题和解决问题的能力提供了一条有效的途径，从而为今后的学习和工作打下坚实的基础。
本课程主要包含4部分内容：集合论、数理逻辑、图论、代数系统。集合论是离散数学的基础，同时是计算机科学的基础，计算机科学领域中的大多数基本概念和理论采用集合论的有关术语描述和论证。数理逻辑是通过研究形式化的推理系统加强逻辑思维能力的培养，而代数系统是通过研究代数系统或代数结构培养更高层次的抽象思维能力，这两种能力是计算思维的核心。图论的基本知识是计算机工作者的必备基础知识。
课程大纲