本书共6章，分为3部分。第1部分是数理逻辑，包括第1章命题逻辑和第2章一阶逻辑。第2部分是集合论，包括第3章集合代数、第4章二元关系和第5章函数。第3部分是第6章图论。每章均包含丰富的习题及部分习题的参考答案，针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件，读者可下载。