离散数学

离散数学是现代数学的一个重要分支，是计算机类专业的重要课程。它以研究离散量的结构及其相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此离散数学可以充分描述计算机学科离散性的特点。本书从离散数学的相关内容在计算机科学中的应用入手，全面介绍离散数学的主要内容，即数理逻辑初步、集合论、代数结构、图论的基本内容。