- 作 者：蔡高火编著
- 出 版 社：桂林：广西师范大学出版社
- 出版年份：1992
- ISBN：7563313184
- 标注页数：366 页
- PDF页数：372 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源372 ≥366页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
前言页 1
第一章 集合 1
1 集合论的基本概念 1
2 集合的运算 8
3 自然数与数学归纳法 18
第二章 二元关系 23
1 笛卡尔积 23
2 关系的概念及表示 25
3 关系的性质 30
4 关系的运算 33
5 关系的闭包 41
6 等价关系 46
7 序关系 52
第三章 映射 60
1 映射的基本概念 60
2 复合映射 64
3 逆映射 68
4 有限集与无限集 70
第四章 命题逻辑 76
1 命题与命题联结词 76
2 命题变元与命题公式 84
3 等值关系 89
4 范式 97
5 命题联结词的扩充与归约 108
6 蕴含关系 112
7 命题演算的推理理论 115
第五章 谓词逻辑 123
1 谓词演算的基本概念 124
2 谓词公式 131
3 谓词演算的永真公式 136
4 前束范式 142
5 谓词演算的推理理论 144
第六章 组合分析 150
1 排列与组合 150
2 二项式系数 161
3 容斥原理 168
4 生成函数 187
5 递归关系 208
6 鸽笼原理 228
第七章 图论 235
1 图论的基本概念 236
2 通路、回路与连通性 245
3 有向图 252
4 图的矩阵表示 256
5 欧拉图与哈密尔顿图 271
6 树 278
7 带权图 291
8 平面图与偶图 305
第八章 代数系统 321
1 代数运算 321
2 代数系统 327
3 半群与么半群 336
4 群 338
5 环与域 344
6 布尔代数 349
习题答案与提示 353