本书共11章。内容包括基础知识；数理逻辑（命题逻辑及一阶逻辑）；计数；关系和有向图；函数；群环和域；偏序集；图论；匹配、Menger定理及网络和流；语言和有限状态机；数、群和编码。每章后面配有难易不等的习题，可供教学选用。作者积累了20多年的教学经验，综合了国内外数十本相关的著名著作写作而成，内容丰富、易懂，并有大量实例。可作为计算机科学与技术、应用数学、自动控制、电子工程、信息科学及相关专业的本科生或研究生的教材。