
- 作 者:陶增乐,黄馥林编
- 出 版 社:上海:华东师范大学出版社
- 出版年份:1985
- ISBN:13135·019
- 注意:在使用云解压之前,请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
(在线云解压服务)
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式,该格式图书只能阅读和打印,不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 集合论 1
1 集合的概念 1
2 集合的运算 3
3 幂集 9
4 n 元组和笛卡尔乘积 10
5 一一对应 11
6 可列集 14
7 无限集 18
第二章 关系和映射 29
1 关系和映射 29
2 关系的运算 31
3 一些特殊性质的关系 36
4 等价关系 38
5 部分序集 42
第三章 格和布尔代数 51
1 代数系统和代数系统的同构 51
2 作为部分序集的格 57
3 作为代数系统的格 68
4 有补格、分配格和模格 71
5 布尔代数及其原子表示 78
6 布尔表达式 85
1 半群与单元半群 101
第四章 半群与群 101
2 群的定义及基本性质 105
3 子群 110
4 循环群 112
5 变换群 117
第五章 商群 125
2 陪集与拉格朗日定理 129
3 正规子群与商群 134
第六章 数理逻辑 140
1 形式逻辑简介 140
2 命题演算 143
3 命题演算的推理理论 157
4 定理的自动证明 161
5 谓词演算 171
6 谓词演算的推理理论 181
第七章 图论 190
1 引论 190
2 基本概念 192
3 欧拉图与汉米尔顿图 207
4 树 211
5 平面图 218
习题答案与提示 226
汉英名词索引 233