- 作 者：吴顺唐主编；田正平等编写
- 出 版 社：上海：华东师范大学出版社
- 出版年份：1997
- ISBN：7561717695
- 标注页数：356 页
- PDF页数：366 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源366 ≥356页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 集合论基础 1
1 集合的概念 1
2 集合的运算 4
3 笛卡儿乘积、幂集 10
4 关系 14
5 关系的运算与性质 20
6 关系的闭包 29
7 等价关系与相容关系 36
8 次序关系 47
9 映射 54
10 集合的基数 66
第一章 习题 76
第二章 组合数学初步 79
1 两个基本计数原理 79
2 排列与组合 81
3 排列与组合的生成 84
4 重集的排列和组合 88
5 组合数与组合恒等式 94
6 抽屉原理 102
7 容斥原理 105
8 生成函数 110
9 递归关系及其应用 120
第二章 习题 136
第三章 代数系统 139
1 代数系统基本概念 139
2 代数系统的比较——同构与同态 152
3 半群与么半群 159
4 群 163
5 环与域 192
6 格与布尔代数 200
第三章 习题 212
第四章 数理逻辑 215
1 命题与命题公式 215
2 命题逻辑等值演算 224
3 命题逻辑推理 236
4 谓词与谓词演算公式 243
5 谓词演算基本等式与范式 251
6 谓词逻辑推理理论 257
7 命题逻辑与谓词逻辑公理化理论 263
8 数理逻辑在计算机科学中的应用 267
第四章 习题 273
第五章 图论 275
1 图的基本概念 275
2 路、圈与连通性 286
3 图的顶点次数 295
4 图的矩阵表示 303
5 树 314
6 有向树 323
7 欧拉图与哈密顿图 333
8 平面图 340
第五章 习题 351
后记 354