- 作 者：黄和之编著
- 出 版 社：北京：北京经济学院出版社
- 出版年份：1988
- ISBN：7563800247
- 标注页数：330 页
- PDF页数：341 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源341 ≥330页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 命题逻辑 1
1.1 命题 1
1.2 逻辑联结词 2
1.3 真值表 3
1.4 逻辑恒等式 3
1.5 逻辑蕴涵式 4
1.6 范式 6
1.7 推理规则和推理格式 9
1.8 证明方法 13
2.1 引言 15
第二章 逻辑蕴涵式的快速证明 15
2.2 快速证明的理论和方法 18
2.3 快速证明的作用 20
2.4 构造永真式 23
2.5 关于命题演算的机器证明 25
第三章 谓词逻辑初步 29
3.1 谓词与量词 29
3.2 量词与逻辑运算符 30
3.3 推理规则与推理格式 38
3.4 证明方法 40
3.5 判定谓词公式非普遍有效的简易方法 42
4.1 集合的朴素定义 46
第四章 集合 46
4.2 集合论的悖论 47
4.3 集合间的关系 47
4.4 集合上的运算 49
4.5 自然数 54
4.6 数学归纳法 56
4.7 递归定义和递推关系 63
4.8 ∑*上的集合运算 71
第五章 二元关系 78
5.1 二元关系和有向图 78
5.2 具有特殊性质的二元关系 84
5.3 关系的复合 89
5.4 关系上的闭包运算 92
5.5 序关系 102
5.6 等价关系与划分 115
5.7 相容关系 127
第六章 函数 129
6.1 函数的基本性质 129
6.2 几种特殊类型的函数 132
6.3 利用函数概念研究集合 142
第七章 无限集合 149
7.1 有限集合与无限集合 149
7.2 可数集合与不可数集合 151
7.3 基数的比较 159
7.4 基数算术 165
第八章 代数系统 169
8.1 代数结构和代数系统 169
8.2 一些代数系统 169
8.3 同构与同态 172
8.4 同余关系 178
8.5 用原有代数系统生成新的代数系统 180
第九章 半群和群 190
9.1 半群和有么半群 190
9.2 半群的同态 194
9.3 群和子群 198
9.4 循环群、阿贝尔群 203
9.5 群子集乘积、陪集、子群的阶 208
9.6 置换群 212
9.7 群的同态与同构 216
9.8 正规子群与商群 221
第十章 格和布尔代数 228
10.1 格的定义和性质 228
10.2 子格，格的同态 231
10.3 一些特殊的格 233
10.4 布尔代数的定义和性质 234
10.5 布尔代数的子代数和直接积 238
10.6 布尔代数的同态 240
10.7 布尔表达式和布尔函数 243
第十一章 环和有限域 250
11.1 环和子环，环的同态 250
11.2 理想和商环 256
11.3 域 265
11.4 环和域上的多项式 268
11.5 域上的多项式理想 273
11.6 子域和扩域 278
11.7 伽罗华域 284
11.8 在Zp域上构告m次不可约多项式 295
11.9 本原多项式 299
12.1 图的实例 303
第十二章 图及其表示法 303
12.2 图的概念和术语 304
12.3 路、可达性与连通性 306
12.4 有向图的矩阵表示 309
12.5 图的同构 310
12.6 欧拉回路和欧拉路 312
12.7 二分图 314
第十三章 树 318
13.1 有向树及其性质 318
13.2 搜索树和树的遍历算法 320
13.3 无向树 322
符号表 326