- 作 者：洪帆，付小青编著
- 出 版 社：北京：电子工业出版社
- 出版年份：2005
- ISBN：7505388371
- 标注页数：241 页
- PDF页数：248 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源248 ≥241页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1章 集合 1
1.1 集合及其表示方法 1
1.2 集合间的关系 3
1.3 集合的运算和运算定律 6
1.4 集合成员表 11
1.5 集合的分划与覆盖 14
小结 15
习题1 16
第2章 关系 19
2.1 笛卡儿积与关系 19
2.2 关系的表示 23
2.3 关系的复合运算 25
2.4 关系的性质与闭包 32
2.5 等价关系 40
2.6 相容关系 44
2.7 偏序关系 47
小结 50
习题2 51
第3章 函数 54
3.1 函数的概念 54
3.2 函数的复合运算 58
3.3 逆函数 63
3.4 集合的基数 67
小结 69
习题3 70
第4章 代数系统 72
4.1 运算 72
4.2 代数系统 79
4.3 代数系统的同态与同构 82
4.4 代数系统的积代数 89
小结 90
习题4 90
第5章 典型的代数系统 93
5.1 半群和独异点 93
5.2 群的定义 95
5.3 群的性质 100
5.4 子群及其判别 102
5.5 偏序集 105
5.6 格及其性质 108
5.7 分配格和有补格 114
5.8 布尔代数 118
小结 121
习题5 122
第6章 图论 124
6.1 图的基本概念 124
6.2 图的矩阵表示 132
6.3 欧拉图与哈密尔顿图 135
6.4 树 140
6.5 二部图 144
6.6 平面图 148
6.7 有向图 152
6.8 根树 158
小结 162
习题6 163
第7章 命题逻辑 165
7.1 命题和命题联结词 165
7.2 命题公式 170
7.3 命题公式的等值和蕴涵 172
7.4 范式 182
7.5 命题演算的推理理论 188
小结 195
习题7 195
第8章 谓词逻辑 198
8.1 谓词、个体和量词 198
8.2 谓词演算公式 202
8.3 谓词演算公式的等值和蕴涵 204
8.4 谓词演算的推理理论 211
小结 216
习题8 217
习题参考答案和提示 219
参考文献 241