本书针对离散数学课程中的关键问题,通过大量实例深入浅出地介绍数理逻辑,集合论,图论,代数结构和布尔代数,网络模型,组合数学理论和算法等与计算机科学密切相关的主题,既注重各部分内容之间的紧密联系,又深入探讨各部分内容的概念,理论,算法和实际应用.