本书结合作者多年的教学经验，采用接近学生思维习惯的平实语言，并参考国内外多种 同类教材编写而成。全书共分5 章，第1 章命题逻辑，第2 章谓词逻辑，第3 章集合论与关 系，第4 章代数系统，第5 章图论。各章相对独立又有机联系，证明力求平实，定理、例题、 习题、实验题互相呼应，深入浅出。本书配有多媒体课件。 本书既可作为高等院校计算机科学与技术、软件工程、电子商务及相关专业的教材，也 可作为相关专业人员自学与参考。