课程简介： 离散数学是研究离散量的结构和相互间的关系，是计算机科学中基础理论的核心课程，主要包含4部分内容：集合论、数理逻辑、图论、代数系统。集合论是离散数学的基础，同时是计算机科学的基础，计算机科学领域中的大多数基本概念和理论采用集合论的有关术语描述和论证。数理逻辑是通过研究形式化的推理系统加强逻辑思维能力的...