
- 作 者:陶增乐等编
- 出 版 社:上海:华东师范大学出版社
- 出版年份:1997
- ISBN:7561705972
- 标注页数:214 页
- PDF页数:222 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。
2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源222 ≥214页】
图书下载及付费说明
1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 集合论 1
1 基本概念 1
2 集合的运算 4
3 幂集 10
4 n 元组和笛卡尔乘积 12
5 一一对应 13
6 可列集 16
7 无限集 22
第二章 关系和映射 33
1 关系和映射 33
2 关系的运算 37
3 具有某些特殊性质的关系 43
4 等价关系 45
5 部分序关系 48
第三章 格和布尔代数 59
1 代数系统及其同构 59
2 格 65
3 作为代数系统的格 72
4 有界格、有补格、分配格和模格 75
5 布尔代数 82
1 半群与单元半群 99
第四章 半群与群 99
2 群的定义及其基本性质 102
3 子群 105
4 循环群 107
5 变换群 111
第五章 商群 116
1 同余关系和商代数 116
2 陪集和拉格朗日定理 120
3 正规子群和商群 123
1 命题演算 130
第六章 数理逻辑 130
2 命题演算的推理理论 139
3 定理的自动证明 146
4 谓词演算 154
5 谓词演算的推理理论 163
第七章 图论 173
1 引论 173
2 基本概念 176
3 路径问题 189
4 树 197
5 平面图 204