本书是普通高校本科计算机专业各方向及电子、信息科学等专业的通用教材。全书共有六章，主要内容包括命题逻辑、谓词逻辑、集合运算、关系、代数系统、群在编码理论中的应用、布尔代数、图论等。本书以知识点为单位展开论述，先给出知识点，然后对知识点的相关内容进行介绍。本书对概念的论述简明准确、深入浅出，对定理证明和算法书写思路清晰、推导严谨、步骤详尽，在知识和方法的应用中给出分析问题的思路和解决问题的详细步骤。各章都配有难易程度适中的习题。