在大学计算机专业学习中,要求学生具有将具体问题转变抽象表示,并采用抽象结构进行推理,求出特殊情况下的有用答案的能力。 本书深入浅出,循序渐进,可以让读者在对专业所需基本有限数学和逻辑有一个清晰透彻的理解,并在此基础上使之能完成顺利完成计算机专业学习。本书内容阐述清晰,适用于仅有*少数学背景的大学本科生,更是自学与课堂教学的理想教材。

第1章 集合
1.1 集合的直观概念
1.2 集合的基本关系
1.2.1 包含关系
1.2.2 相等关系
1.2.3 真包含
1.2.4 欧拉图
1.2.5 维恩图
1.2.6 集合的定义
1.3 空集
1.3.1 空集的概念
1.3.2 不相交集
1.4 集合上的布尔运算
1.4.1 交集
1.4.2 并集
1.4.3 差集与补集
1.5 广义并集与广义交集
1.6 幂集
1.7 部分重要的数字集合
第2章 关系
2.1 序偶、笛卡尔积和关系
2.1.1 序偶
2.1.2 笛卡尔积
2.1.3 关系
2.2 关系表和关系图
2.2.1 关系表
2.2.2 关系图
2.3 关系运算
2.3.1 逆运算
2.3.2 关系并运算
2.3.3 关系的合运算
2.3.4 象/象集
2.4 自反性与传递性
2.4.1 ��反性
2.4.2 传递性
2.5 等价关系与划分
2.5.1 对称
2.5.2 等价关系
2.5.3 划分
2.5.4 划分与等价关系之间的对应
2.6 顺序相关关系
2.6.1 偏序
2.6.2 线性有序
2.6.3 严格有序
2.7 关系的闭合
2.7.1 关系传递闭包
2.7.2 关系条件下集合闭包
第3章 函数
第4章 归纳与递归
第5章 组合学
第6章 概率
第7章 存储数学
第8章 命题逻辑
第9章 量化逻辑