本书力求叙述严谨，推演严密，逻辑清晰，深入浅出，做到概念与实例密切结合，学生通过本课程的学习将得到严格的逻辑推理与抽象思维能力的训练。本书是编者多年在武汉大学计算机科学系讲授离散数学课的基础上参考国内外同类型教材编写而成的。全书包括数理逻辑、集合论、代数结构和图论四大部分。本书作为教材，主要适用于计算机科学与工程各专业的本科生，同时也适用于其他专业或其他层次的学生。
