第1章 集合 1
1.1 集合基本概念 1
1.1.1 集合的表示方法 1
1.1.2 子集 2
1.1.3 全集和补集 3
1.1.4 幂集 3
1.2 集合的基本运算 5
1.2.1 并和交 5
1.2.2 差和对称差 8
1.3 包含排斥原理 13
第2章 二元关系 18
2.1 二元关系及其表示形式 18
2.1.1 引言 18
2.1.2 集合的笛卡儿乘积 19
2.1.3 二元关系的3种表示方法 21
2.2 二元关系的基本类型与判定方法 25
2.2.1 关系的基本类型 25
2.2.2 可传递性的判定方法 28
2.3 等价关系、相容关系和偏序关系 33
2.3.1 等价关系的定义 33
2.3.2 等价关系的特征 34
2.3.3 等价类和商集 36
2.3.4 集合的划分 37
2.3.5 相容关系 38
2.3.6 覆盖和完全覆盖 39
2.3.7 相容类和最大相容类 39
2.3.8 偏序关系 42
2.4 复合关系、逆关系和关系的闭包运算 48
2.4.1 复合关系 48
2.4.3 关系的闭包运算 52
2.4.2 逆关系 52
第3章 函数 56
3.1 函数的定义与特殊函数 56
3.1.1 函数的定义 56
3.1.2 特殊函数 57
3.2 复合函数与逆函数 60
第4章 代数结构 69
4.1 代数系统 69
4.1.1 代数系统的基本概念 69
4.1.2 特殊运算与特殊元素 71
4.1.3 同构 77
4.1.4 同态 81
4.2 半群与独异点 88
4.2.1 半群与子半群 88
4.2.2 独异点与子独异点 93
4.3.1 群的定义 97
4.3 群 97
4.3.2 群的性质 100
4.4 子群 106
4.4.1 子群的定义 106
4.4.2 群中元素的阶数 107
4.5 循环群 113
4.5.1 循环群的定义 113
4.5.2 循环群的性质 114
4.6 置换群 118
4.7 陪集和拉格朗日定理 125
4.7.1 陪集 126
4.7.2 拉格朗日定理 126
4.8 群同态 133
4.8.1 同余关系与商代数 133
4.8.2 同余与同态 138
4.8.3 群的同态与同余 141
4.9 群码 153
4.10 环和域 157
4.10.1 环 157
4.10.2 域 162
4.11 格和布尔代数 164
4.11.1 格的定义 164
4.11.2 格和偏序集 166
4.11.3 分配格、有界格和有补格 169
4.11.4 布尔代数 175
第5章 图论 180
5.1 图的基本概念 180
5.1.1 图的基本类型 180
5.1.2 图中顶点的度数 181
5.1.3 完全图 183
5.1.4 子图 184
5.1.5 图的矩阵表示 185
5.1.6 图的同构 186
5.1.7 补图 186
5.2 图的连通性和赋权图的最短通路 191
5.2.1 通路与回路 191
5.2.2 图的连通性 192
5.2.3 赋权图的最短通路 195
5.3 树 204
5.3.1 无向树 204
5.3.2 有向树 206
5.3.3 周游算法 209
5.3.4 前缀码与最优树 211
5.4 欧拉图与哈密顿图 216
5.4.1 欧拉图 216
5.4.2 哈密顿图 219
5.5.1 二部图 229
5.5 二部图和平面图 229
5.5.2 平面图 232
第6章 命题逻辑 245
6.1 命题与联结词 245
6.1.1 命题 245
6.1.2 联结词 246
6.2 真值表与逻辑等价 252
6.2.1 真值表 252
6.2.2 逻辑等价 252
6.2.3 代换规则 255
6.2.4 对偶原理 256
6.3 范式 258
6.3.1 析取范式和主析取范式 258
6.3.2 合取范式和主合取范式 261
6.4 永真蕴含式 267
6.5.1 前提与有效绪论 271
6.5 推理理论 271
6.5.2 直接证明法 272
6.5.3 间接证明法 273
第7章 谓词逻辑 277
7.1 谓词逻辑的基本概念 277
7.1.1 谓词与命题函数 277
7.1.2 量词 279
7.1.3 谓词合式 283
7.1.4 约束元和自由元 283
7.2 等价式与永真蕴含式 286
7.2.1 等价式 286
7.2.2 前束范式 288
7.2.3 永真蕴含式 289
7.3 谓词演算的推理理论 291
- 《离散数学》尤枫,颜可庆编著 2003
- 《离散数学题解与分析》刘任任主编 2011
- 《《离散数学》习题解答》孙学红,秦伟良主编 1999
- 《离散数学习题与解答 第2版》邵学才等编著 2008
- 《离散数学习题解析》朱怀宏编著 2012
- 《离散数学及其应用》刘芳著 2018
- 《全国高等教育自学考试指定教材 计算机及应用专业 独立本科段 离散数学 附:离散数学自学考试大纲》全国高等教育自学考试指导委员会组编;左孝凌主编 2000
- 《离散数学 第5版 同步辅导及习题全解》焦艳芳主编 2015
- 《离散数学辅导与习题解答 清华版《离散数学》第3版》梅家斌,刘红玲,罗娟等编 2008
- 《离散数学》刘永平,刘玉胜编著 2006
- 《北京工业志 电子志》卜世成,高玉庆主编 2001
- 《北京志 工业卷 68 电子工业志 仪器仪表工业志》北京市地方志编纂委员会编著 2001
- 《网络互联技术手册 第2版》(美)(K.唐斯)Kevin Downes等著;包晓露等译 1999
- 《当代北京广播电视和电子元件工业》《当代北京工业丛书》编辑部编 1988
- 《电子电路实验》梅开乡,梅军进主编;陈大力,吴勇平,李鹏鹏副主编 2014
- 《操作系统》韩仲清主编 1990
- 《'94北京国际电子出版研讨会论文集》粟武宾主编 1994
- 《dBASE Ⅲ PLUS》GOTOP编著 1995
- 《PowerPoint 97 操作导引》王耆,李文润编著 1998
- 《多媒体数据压缩技术》高文著 1994