工科离散数学 本书特色

全书共8章，首先通过"命题逻辑”和"谓词逻辑”建立基本的逻辑思维体系，进而以严谨的符号逻辑理解"集合的基本概念与运算”，并作为其他知识的基础。"关系”、"函数”不仅扩充了集合的应用范围，也更体现了集合的重要应用。在此基础上，利用"运算与代数系统”、"环、域、格和布尔代数”介绍了近世代数的基本理论与结果。*后为"图论”。全书的内容可在70个学时左右讲完。

工科离散数学 目录

目 录

第1章 命题逻辑 1
1.1 命题 1
思考与练习1.1 3
1.2 逻辑联结词 3
1.2.1 基本联结词 3
1.2.2 其他联结词 6
思考与练习1.2 6
1.3 命题公式与真值表 7
1.3.1 命题公式 7
1.3.2 真值表 8
思考与练习1.3 9
1.4 命题翻译 9
1.4.1 合取命题 9
1.4.2 可兼与不可兼析取命题 10
1.4.3 条件命题 10
1.4.4 多联结词命题 11
思考与练习1.4 13
1.5 命题公式的值与等价 14
1.5.1 命题公式的分类 14
1.5.2 命题公式的等价 14
1.5.3 联结词的功能完备集 17
1.5.4 由德?摩根律到对偶原理 17
思考与练习1.5 18
1.6 范式 19
1.6.1 简单的范式 19
1.6.2 小项与大项 20
1.6.3 主析取范式与主合取范式 21
思考与练习1.6 23
1.7 推理理论 24
1.7.1 蕴含与论证 24
1.7.2 自然推理系统 26
思考与练习1.7 33
第2章 谓词逻辑 34
2.1 谓词、个体词与量词 34
2.1.1 个体词与谓词 34
2.1.2 量词与量化 36
思考与练习2.1 37
2.2 谓词逻辑中的命题翻译 38
2.2.1 特殊化个体词的命题 38
2.2.2 量词量化的命题 39
思考与练习2.2 42
2.3 量词约束与谓词公式的解释 42
2.3.1 量词对个体词变元的作用 42
2.3.2 谓词公式的解释与求值 43
2.3.3 量词与联结词的搭配 44
思考与练习2.3 45
2.4 谓词逻辑中的基本等价和蕴含
关系 46
2.4.1 基本等价与蕴含关系 46
2.4.2 利用等价关系计算前束范式 49
思考与练习2.4 50
2.5 谓词演算的推理理论 50
思考与练习2.5 56
第3章 集合论基础 58
3.1 集合的概念与表示方法 58
3.1.1 集合描述 58
3.1.2 集合的包含与相等 59
3.1.3 空集与全集 60
3.1.4 集合的幂集 62
思考与练习3.1 63
3.2 集合运算 64
3.2.1 基本运算 64
3.2.2 多集合的交与并 66
思考与练习3.2 68
3.3 集合运算的性质与证明方法 69
3.3.1 集合运算的性质与演算证明 69
3.3.2 基于定义的集合运算证明
方法 70
思考与练习3.3 73
3.4 序偶与笛卡尔积 73
3.4.1 序偶与元组 74
3.4.2 笛卡尔积 74
思考与练习3.4 77
第4章 关系 78
4.1 二元关系的含义与表示 78
4.1.1 二元关系 78
4.1.2 关系的矩阵和图表示法 80
思考与练习4.1 81
4.2 关系运算 81
4.2.1 关系求逆与复合 82
4.2.2 关系运算的性质 83
4.2.3 利用关系图与关系矩阵实现
关系运算 85
4.2.4 多关系的复合 87
思考与练习4.2 89
4.3 关系的主要性质 89
4.3.1 自反与反自反关系 89
4.3.2 对称与反对称关系 90
4.3.3 传递关系 92
4.3.4 特殊关系的判定 92
思考与练习4.3 94
4.4 关系的闭包 95
4.4.1 闭包的概念 95
4.4.2 闭包计算 96
思考与练习4.4 99
4.5 相容关系与等价关系 100
4.5.1 集合的覆盖与划分 100
4.5.2 相容与等价 101
4.5.3 相容关系产生的完全覆盖 102
4.5.4 等价关系产生的划分 103
4.5.5 由覆盖、划分生成相容关系
和等价关系 105
思考与练习4.5 106
4.6 序关系 107
4.6.1 体现部分次序的偏序关系 107
4.6.2 哈斯图 107
4.6.3 偏序集的特殊元素 110
思考与练习4.6 112
第5章 函数 114
5.1 从关系到函数 114
5.1.1 函数的概念 114
5.1.2 函数集 115
5.1.3 特殊函数 116
思考与练习5.1 118
5.2 函数的逆与复合 119
5.2.1 双射的反函数 119
5.2.2 函数的复合 119
5.2.3 函数运算的性质 121
思考与练习5.2 122
5.3 集合的基数 123
5.3.1 集合等势 123
5.3.2 有限集与无限集 124
5.3.3 可数集与不可数集 124
5.3.4 基数比较 126
思考与练习5.3 127
第6章 运算与代数系统 129
6.1 运算及其性质 129
6.1.1 n元运算 129
6.1.2 二元运算的主要性质 130
思考与练习6.1 132
6.2 二元运算中的特殊元素 132
6.2.1 幺元 132
6.2.2 零元 133
6.2.3 逆元 134
思考与练习6.2 135
6.3 代数系统 135
6.3.1 代数与子代数 135
6.3.2 同态与同构 136
思考与练习6.3 138
6.4 半群与独异点 138

 1/2    1 2 下一页 尾页

自然科学 数学 应用数学

在线阅读