计算机科学本科核心课程教材：计算机数学

　　第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 插曲： 无括号表示法167
　　7.5 二叉查找树168
　　7.6 无根树173
　　7.6.1 无根树的定义173
　　7.6.2 无根树的性质174
　　7.6.3 寻找生成树177
　　第8章 命题逻辑180
　　8.1 何为逻辑180
　　8.2 结果的结构特征181
　　8.3 真值函数连接词185
　　8.4 同义反复188
　　8.4.1 命题逻辑语言189
　　8.4.2 赋值（分配）与赋值函数189
　　8.4.3 永真蕴含（重复蕴含）190
　　8.4.4 重复等价（同义反复等价）192
　　8.4.5 永真式与永假式（矛盾）195
　　8.5 标准型（范式）、最小字母集与最大模块性198
　　8.5.1 析取范式198
　　8.5.2 合取范式201
　　8.5.3 去除冗余字母（文字）202
　　8.5.4 最大模表示204
　　8.6 语义分解树206
　　8.7 自然演绎210
　　8.7.1 约束210
　　8.7.2 二级（亦称间接）推理212
　　第9章 量化逻辑221
　　9.1 量词语言221
　　9.1.1 实例221
　　9.1.2 语言的系统表述223
　　9.1.3 自由与约束227
　　9.2 基本的逻辑等价228
　　9.3 量化逻辑的语义学230
　　9.3.1 解释231
　　9.3.2 在解释下评价条件231
　　9.3.3 在解释下评价公式的初始条件232
　　9.3.4 在解释下评价公式的递归步骤232
　　9.3.5 量词的 x -变体解释232
　　9.3.6 量词的替代解释235
　　9.4 逻辑结论237
　　9.5 带有量词的自然演绎/推理243

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