- 作 者：陶涛主编
- 出 版 社：北京：北京理工大学出版社
- 出版年份：2000
- ISBN：7810131745
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
13
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 集合 1
1-1 集合与元素 1
1-2 集合的包含与相等 8
1-3 幂集 15
1-4 集合运算 24
1-5 笛卡尔积 37
小结 45
第二章 二元关系 48
2-1 二元关系及其表示 48
2-2 关系的性质 59
2-3 关系的运算 68
2-4 等价关系和相容关系 82
2-5 偏序关系 93
小结 103
第三章 函数 108
3-1 函数 108
3-2 复合函数 117
3-3 置换 124
3-4 数学归纳法 131
3-5 特征函数与模糊集合 136
小结 141
第四章 代数结构简介 144
4-1 代数结构 144
4-2 半群和群 155
4-3 子群与环 164
4-4 同态和同构 169
小结 179
第五章 格和布尔代数 183
5-1 格的定义 183
5-2 格的性质与特殊格 189
5-3 布尔代数简介 196
小结 203
第六章 命题逻辑 205
6-1 命题 205
6-2 命题公式及翻译 214
6-3 命题定律 222
6-4 基本联结词和蕴含关系 234
6-5 范式 244
6-6 命题演算的推理理论 259
小结 267
第七章 谓词演算 270
7-1 谓词和量词 270
7-2 谓词公式 279
7-3 谓词演算的等价式与蕴含式 287
7-4 谓词演算的推理理论 296
小结 305
第八章 图论初步 307
8-1 图的基本概念 307
8-2 路与回路 321
8-3 邻接矩阵和关联矩阵 332
8-4 欧拉图 346
8-5 哈密尔顿图 354
8-6 平面图及偶图 364
8-7 对偶图与图的着色 377
8-8 树 384
小结 399
参考文献 405