计算机数学

内容简介

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

目录

第1章 集合1
1.1 集合的直观概念1
1.2 集合的基本关系2
1.2.1 包含关系2
1.2.2 相等关系3
1.2.3 真包含4
1.2.4 欧拉图4
1.2.5 维恩图5
1.2.6 集合的定义6
1.3 空集8
1.3.1 空集的概念8
1.3.2 不相交集9
1.4 集合上的布尔运算10
1.4.1 交集10
1.4.2 并集11
1.4.3 差集与补集14
1.5 广义并集与广义交集16
1.6 幂集18
1.7 部分重要的数字集合20

第2章 关系23
2.1 序偶、笛卡尔积和关系23
2.1.1 序偶23
2.1.2 笛卡尔积25
2.1.3 关系27
2.2 关系表和关系图29
2.2.1 关系表29
2.2.2 关系图30
2.3 关系运算31
2.3.1 逆运算31
2.3.2 关系并运算32
2.3.3 关系的合运算33
2.3.4 象/象集36
2.4 自反性与传递性37
2.4.1 自反性37
2.4.2 传递性38
2.5 等价关系与划分39
2.5.1 对称39
2.5.2 等价关系40
2.5.3 划分41
2.5.4 划分与等价关系之间的对应43
2.6 顺序相关关系44
2.6.1 偏序44
2.6.2 线性有序45
2.6.3 严格有序46
2.7 关系的闭合48
2.7.1 关系传递闭包48
2.7.2 关系条件下集合闭包49

第3章 函数53
3.1 何为函数53
3.2 函数运算55
3.2.1 定义域与值域55
3.2.2 象、限制与闭包56
3.2.3 合成58
3.2.4 逆59
3.3 单射、满射与双射60
3.3.1 单射60
3.3.2 满射61
3.3.3 双射函数62
3.4 应用函数比较大小63
3.4.1 等量原理63
3.4.2 比较原理64
3.4.3 归档原理65
3.5 常用函数67
3.5.1 恒等函数67
3.5.2 常（值）函数67
3.5.3 投影函数68
3.5.4 特征函数68
3.5.5 集合族68
3.5.6 序列69

第4章 归纳与递归73
4.1 归纳与递归73
4.2 应用正整数的简单归纳进行证明74
4.2.1 实例74
4.2.2 隐藏在实例后的原理75
4.3 应用自然数的简单递归进行定义78
4.4 预测递归定义的函数80
4.5 累积归纳和递归81
4.5.1 返回多单元的递归式定义81
4.5.2 应用累积归纳进行证明83
4.5.3 同时归纳与递归84
4.6 结构递归与归纳86
4.6.1 结构递归法定义集合86
4.6.2 应用结构归纳法进行证明89
4.6.3 应用结构递归法在定义域上定义函数90
4.6.4 结构递归法进行函数定义的条件91
4.6.5 何时分解条件失效93
4.7 良基集上的归纳与递归94
4.7.1 良基集94
4.7.2 应用良基归纳法进行证明时的定理95
4.7.3 应用良基递归法在定义域上定义函数97
4.8 递归程序98

第5章 组合学102
5.1 两条基本原理： 加法和乘法102
5.2 两条基本原理的联合运用105
5.3 从 n个对象中选出k 个项目的4种方法106
5.4 排列与组合的计算公式110
5.4.1 排列的计算公式( O＋R -)111
5.4.2 组合的计算公式( O-R -)112
5.5 有重排列与有重组合的计算公式116
5.5.1 有重排列计算公式( O＋R ＋)116
5.5.2 有重组合计算公式( O-R ＋)117
5.6 重排及划分119
5.6.1 重排119
5.6.2 给定数字格局下的划分计算121

第6章 概率126
6.1 有限概率空间126
6.1.1 基本定义126
6.1.2 概率函数的性质128
6.2 基本哲学原理及应用130
6.3 一些简单问题132
6.4 条件概率135
6.5 插曲之辛普森悖论141
6.6 独立性142
6.7 贝叶斯定理145
6.8 随机变量与期望值147
6.8.1 随机变量148
6.8.2 期望值148
6.8.3 诱导概率分布150
6.8.4 采用诱导概率函数表示期望值151

第7章 存储数学：树156
7.1 第一棵树156
7.2 有根树158
7.3 标记树164
7.4 插曲： 无括