- 作 者：孙道德主编；王敏生，王秀友副主编
- 出 版 社：北京：清华大学出版社
- 出版年份：2013
- ISBN：9787302299431
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第1篇 数理逻辑 3
第1章 命题逻辑 3
1.1命题及逻辑联结词 3
1.2命题公式与真值函数 9
1.3命题公式的等价与蕴涵 13
1.4命题逻辑的推理理论 18
1.5对偶与范式 25
1.6其他逻辑联结词 33
1.7逻辑联结词的功能完备集 36
命题逻辑小结 38
第2章 一阶谓词逻辑 39
2.1基本概念 39
2.2谓词合式公式与客体变元的约束 44
2.3谓词公式的等价与蕴涵 48
2.4谓词逻辑的推理理论 53
2.5前束范式 58
一阶谓词逻辑小结 60
第2篇 集合与关系 63
第3章 集合及其运算 63
3.1集合的概念及其表示 63
3.2集合的基本运算 66
3.3集合中元素的计数 72
集合及其运算小结 78
第4章 二元关系 79
4.1集合的笛卡儿积 79
4.2二元关系 83
4.3等价关系与集合的划分 102
4.4相容关系与集合的覆盖 106
4.5偏序关系 108
二元关系小结 114
第5章 函数 115
5.1函数的概念 115
5.2特殊的函数及特征函数 117
5.3逆函数与复合函数 120
5.4集合的势与无限集合 123
函数小结 126
第3篇 代数系统篇 129
第6章 代数结构 129
6.1代数系统的概念 129
6.2代数系统的运算及其性质 131
6.3半群与含么半群 135
6.4群与子群 138
6.5交换群与循环群 143
6.6陪集与拉格朗日定理 147
6.7同态与同构 149
6.8环与域 155
代数结构小结 159
第7章 格与布尔代数 167
7.1格的概念 167
7.2分配格 174
7.3有补格 177
7.4布尔代数与布尔表达式 179
格与布尔代数小结 190
第4篇 图论篇 195
第8章 图论 195
8.1图的基本概念 195
8.2图的通路与连通性 201
8.3图的矩阵表示 206
8.4图的着色 212
图论小结 214
第9章 特殊图形与算法 218
9.1欧拉图及其应用 218
9.2哈密顿图及其应用 222
9.3平面图与对偶图 224
9.4树与生成树 228
9.5根树及其应用 231
9.6图的匹配与匈牙利算法 236
特殊图形与算法小结 241
参考文献 247