- 作 者：郭荣冰，常荆燕主编；杨敬华副主编；侯谦民，潘于丰，周田等编委
- 出 版 社：武汉：武汉理工大学出版社
- 出版年份：2004
- ISBN：7562920575
- 标注页数：126 页
- PDF页数：135 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源135 ≥126页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
1 数理逻辑 1
1.1 命题、联结词与公式 1
1.1.1 基本概念 1
1.1.2 命题联结词及其真值表 2
1.1.3 实例分析 4
1.1.4 公式G的种类 5
习题1.1 6
1.2 公式的等价与蕴含 7
1.2.1 公式的等价与24个基本等价式 7
1.2.2 公式的蕴含与16个基本蕴含式 9
习题1.2 10
1.3 公式的主范式 11
1.3.1 主析取范式 11
1.3.2 主合取范式 13
习题1.3 15
1.4 推理理论 15
习题1.4 18
1.5 谓词逻辑 18
1.5.1 谓词逻辑的基本概念 19
1.5.2 语句命题的谓词形式符号化 20
1.5.3 谓词公式 20
习题1.5 24
2 集合、关系和函数 26
2.1 集合和集合的运算 26
2.1.1 集合的基本概念 26
2.1.2 集合的运算 28
2.1.3 集合运算中等值式与命题公式的“等价式”一致 28
2.1.4 序偶和笛卡尔积 28
习题2.1 30
2.2 关系 31
2.2.1 二元关系R 31
2.2.2 关系R的表示与性质 31
2.2.3 关系的运算 33
2.2.4 集合A上的关系R的闭包问题——包含关系R的有用性质（自反性、对称性、传递性）的最小关系问题 36
习题2.2 37
2.3 等价关系和集合的划分 37
2.3.1 等价关系 37
2.3.2 A的划分s 38
2.3.3 A关于等价关系R的商集A/R 38
习题2.3 39
2.4 序关系和哈斯图 40
2.4.1 偏序关系及其哈斯图 40
2.4.2 其他序关系 41
习题2.4 44
2.5 函数 44
2.5.1 函数的概念 44
2.5.2 几种特殊的函数及其特点 45
2.5.3 函数的表示 46
2.5.4 复合函数与逆函数 46
习题2.5 47
3 代数结构 50
3.1 代数系统 50
3.1.1 运算及其封闭性 50
3.1.2 代数系统 51
3.1.3 子代数 55
习题3.1 57
3.2 半群和独异点 57
3.2.1 半群 57
3.2.2 独异点 58
习题3.2 59
3.3 群与子群 60
3.3.1 群的概念 60
3.3.2 群〈G;*〉的一个子群〈H;*〉 62
习题3.3 63
3.4 环与域 64
3.4.1 环 64
3.4.2 环的性质定理 65
3.4.3 几种特殊的环 65
习题3.4 67
3.5 格、子格与布尔代数 67
3.5.1 格的概念 67
3.5.2 几种特殊的格 70
3.5.3 布尔代数 73
习题3.5 74
4 图论 76
4.1 图的基本概念 76
4.1.1 图G的定义 76
4.1.2 图的种类 77
4.1.3 图的一些术语 77
4.1.4 图的性质 79
4.1.5 特殊图 79
习题4.1 82
4.2 图的连通性 83
4.2.1 无向图的连通性 83
4.2.2 有向图的连通性 84
习题4.2 88
4.3 图的矩阵表示 89
4.3.1 图G的邻接矩阵 89
4.3.2 图G的可达矩阵（又称路径矩阵） 91
习题4.3 92
4.4 树、生成树、有向树及其应用 92
4.4.1 树的基本概念 92
4.4.2 有向树的基本概念 94
习题4.4 97
4.5 欧拉图、哈密顿图、平面图 98
4.5.1 欧拉图的基本概念及其有关定理和应用 98
4.5.2 哈密顿图的基本概念及其有关定理和应用 99
4.5.3 平面图 101
习题4.5 103
参考答案 105
参考文献 126