第一部分 集合论初步 1
第一章 集合的基本概念 2
1.1 集体及其表示 2
1.2 集合的包含 3
1.3 集合的运算 5
第二章 关系 12
2.1 二元关系 12
2.2 复合关系与逆关系 17
2.3 关系的闭包 21
2.4 等价关系与划分 26
2.5 顺序关系 32
第三章 函数 43
3.1 函数的概念 43
3.2 复合函数与逆函数 45
第四章 无限集 51
4.1 自然数集 51
4.2 基数 56
4.3 可列集与不可列集 58
4.4 基数的比较 63
4.5 基数的算术运算 68
4.6 集合论的悖论 71
第二部分 图论 75
第五章 图的基本概念 77
5.1 基本术语 77
5.2 路与回路 84
5.3 最短路 90
5.4 欧拉图与哈密顿图 95
第六章 树 111
6.1 树的特征 111
6.2 生成树与割集 113
6.3 最小生成树 118
6.4 深度优先搜索法(DFS) 120
6.5 树形图与有序树 122
6.6 最优树 125
第七章 连通度,网络,匹配与独立集 134
7.1 连通度 134
7.2 网络最大流 140
7.3 图与二分图的匹配 147
7.4 独立集,覆盖 153
第八章 平面图,图的着色 160
8.1 平面图与欧拉公式 160
8.2 顶点着色 165
8.3 地图的着色 168
8.4 色多项式 172
第九章 图的向量空间与矩阵表示 177
9.1 图的向量空间 177
9.2 图的矩阵表示 186
第三部分 代数结构 203
第十章 群 208
10.1 群的定义和例子 208
10.2 变换群、置换群与循环群 215
10.3 子群、正规子群与商群 224
10.4 群的同态及同态基本定理 229
11.1 基本概念 236
第十一章 环与理想 236
11.2 子环与环的同态 239
11.3 多项式环与欧几里德环 244
11.4 理想与商环 254
第十二章 域的扩张 266
12.1 扩域 266
12.2 代数元与超越元 271
12.3 有限域 278
12.4 本原元与本原多项式 283
13.1 偏序集与格 289
第十三章 格与布尔代数 289
13.2 模格 295
13.3 布尔代数 300
第四部分 数理逻辑基础 311
第十四章 命题演算 313
14.1 命题与连接词 313
14.2 合式公式 319
14.3 范式 327
14.4 连接词的功能完备集 332
14.5 论证和有效性 335
14.6 演绎和推理 339
14.7 应用举例 346
第十五章 谓词演算 358
15.1 谓词和量词 358
15.2 函数、项和合式公式 362
15.3 有效合式公式 366
15.4 谓词演算中的推理和演绎 370
15.5 前束形式与前束范式 379
15.6 应用举例 384
主要参考书目 397
名词索引 398
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《数学物理方法与仿真 第3版》杨华军 2020
- 《高等数学 上》东华大学应用数学系编 2019
- 《聋校义务教育实验教科书教师教学用书 数学 一年级 上》人民教育出版社,课程教材研究所,小学数学课程教材研究中心编著 2017
- 《离散数学》(中国)杨文国,高华,石莹 2019
- 《指向核心素养 北京十一学校名师教学设计 数学 九年级 上 配人教版》周志英总主编 2019
- 《2018考研数学 数学 1 15年真题详解及解题技巧》本书编委会著 2017
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019