本书建立在数学理论的基础上, 主要介绍数理逻辑、集合论、组合论、图论和群论等内容, 注重知识点之间的关联性, 既有一定深度又深入浅出, 通过大量实例和练习培养学生严谨的思维方法, 通过算法编程提高学生解决实际应用问题的能力。