- 作 者：杨杰，于忠文编著
- 出 版 社：济南：山东大学出版社
- 出版年份：2003
- ISBN：7560725511
- 标注页数：358 页
- PDF页数：367 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源367 ≥358页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 命题逻辑 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