本书共分为7章，分别阐述了集合、关系、函数、命题逻辑、一阶谓词逻辑、图与特殊图。本书体系严谨，结构合理，概念论述清楚，讲解翔实，着重于概念的应用，书中配有大量的例题，帮助学生由浅入深地理解与掌握概念，并附有适当的习题。本书可作为计算机及相关专业本科生的教材，也可供计算机专业及相关专业的科技人员参考。

谢美萍，博士，副教授，研究生导师，2001年7月毕业于哈尔滨工程大学控制理论与控制工程专业，获博士学位，2001年8月进入上海财经大学信息管理与工程学院任教，任教以来主讲过《离散数学》、《计算机应用》、《数据挖掘》等课程，主持财经院校中的《离散数学》课程建设（上海财经大学重点课程建设项目）教学研究课题。主编了由清华大学出版社出版的《离散数学》与《离散数学》习题集。

章集合1
1.1集合的基本概念1
1.1.1集合的概念1
1.1.2集合的特性2
1.1.3集合的表示方法3
1.2集合间的关系4
1.2.1包含关系4
1.2.2相等关系5
1.2.3特殊集合7
1.3集合的运算7
1.3.1集合的基本运算7
1.3.2有限集合的计数10
1.4幂集和编码13
1.4.1幂集13
1.4.2幂集元素与编码14
1.5集合恒等式证明15
1.5.1基本定义法15
1.5.2公式法16
1.5.3集合成员表法16
习题19
第2章关系21
2.1关系的基本概念21
2.2关系的表示方法25
2.3关系的运算27
2.4关系的性质32
2.4.1关系的五种性质32
2.4.2关系性质的证明35
2.5关系的闭包36
2.6等价关系与划分41
……