当前位置： 离散数学 > 购买云解压PDF图书
- 作 者：杨杰，于忠文编著
- 出 版 社：济南：山东大学出版社
- 出版年份：2003
- ISBN：7560725511
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
12
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 命题逻辑 1
1 命题与联结词 1
2 命题公式及其分类 9
3 等值演算 14
4 主析取范式与主合取范式 25
5 命题逻辑的推理理论 38
习题一 49
第二章 谓词逻辑 52
1 谓词概念与表示 52
2 谓词公式及解释 58
3 谓词公式的等值式 64
4 谓词演算的推理理论 69
习题二 74
第三章 集合关系映射 77
1 集合的基本概念 77
2 集合的基本运算 82
3 笛卡尔积与关系 91
4 关系的表示与关系的性质 99
5 关系的运算与闭包 107
6 等价关系与划分 122
7 偏序关系 131
8 函数的概念 142
9 复合函数与反函数 148
习题三 154
第四章 代数系统 160
1 二元运算及其性质 160
2 代数系统及其子代数与积代数 169
3 代数系统的同态与同构 174
4 半群与独异点 180
5 群与子群 186
6 环与域 199
7 格与布尔代数 215
习题四 238
第五章 图论 243
1 无向图和有向图 243
2 路与回路及图的连通性 257
3 图的矩阵表示 264
4 欧拉图与哈密尔顿图 282
5 平面图 289
6 无向树与有向树 296
习题五 315