- 作 者：任现淼主编；吴裕树副主编
- 出 版 社：北京：中央广播电视大学出版社
- 出版年份：2000
- ISBN：7304018402
- 标注页数：358 页
- PDF页数：368 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源368 ≥358页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1编 数理逻辑 3
第1章 命题逻辑 3
1.1 命题与联结词 3
1.2 命题公式与赋值 11
1.3 命题定理 14
1.4 范式 18
1.5 命题演算的推理理论 26
1.6 本章小结 32
1.7 学习指导 33
第2章 谓词逻辑 39
2.1 谓词逻辑基本概念 39
2.2 谓词公式 43
2.3 谓词的等值演算 46
2.4 前束范式 49
2.5 谓词逻辑的推理理论 52
2.6 本章小结 55
2.7 学习指导 56
第2编 集合论 63
第3章 集合及其运算 63
3.1 集合的概念和表示方法 63
3.2 集合的运算及其性质 68
3.3 笛卡儿积 79
3.4 本章小结 84
3.5 学习指导 86
第4章 二元关系与函数 93
4.1 关系的概念 93
4.2 关系的运算 98
4.3 关系的性质 107
4.4 等价关系和偏序关系 118
4.5 函数 128
4.6 本章小结 136
4.7 学习指导 140
5.1 图的基本概念 161
第3编 图论 161
第5章 图的基本概念 161
5.2 图的连通性 167
5.3 图的矩阵表示 173
5.4 最短路径和关键路径问题 180
5.5 本章小结 184
5.6 学习指导 186
第6章 几种特殊的图 193
6.1 欧拉图和中国邮路问题 193
6.2 哈密顿图和货郎担问题 197
6.3 平面图与图的着色 200
6.4 树 209
6.5 二分图 219
6.6 本章小结 223
6.7 学习指导 225
7.1 代数结构概述 235
第7章 群 235
第4编 代数系统 235
7.2 群的概念 241
7.3 特殊群 245
7.4 同态与同构 251
7.5 陪集与拉格朗日定理 255
7.6 正规子群和同态基本定理 259
7.7 本章小结 264
7.8 学习指导 266
第8章 其它代数系统 277
8.1 环与域 277
8.2 格与布尔代数 282
8.3 本章小结 292
8.4 学习指导 294
练习与习题答案或提示 299
符号表 356
参考文献 358