本书系作者根据多年的教学经验和教案个性整理而成。全书共分11章，第1、2章为数理逻辑部分，第3至5章及第11章为集合论部分，第6至8章为图论部分，第9及10章为代数系统部分。书中精选了大量实例，力求深入浅出地介绍与计算机科学密切相关的课程，既着重于各种分内容之间的紧密联系，又深入探讨概念、理论、算法和实际应用。各章节配备的习题与书后的提示和答案为读者迅速掌握有关知识提供有效帮助。