简介
本书系统地介绍了离散数学各分支的基本内容，包含集合论、代数系统、图论和数理逻辑4个部分。全书共分8章，主要内容包括：集合的基本知识，关系和函数的概念，运算和代数系统的一般概念，几类典型的代数系统——半群、独异点和群、格和布尔代数，图论，命题逻辑和谓词逻辑等。
本书概念清晰，系统性强，深入浅出，通俗易懂，易教易学。每一节均配有相当数量的例题和练习题，每章之后还配有小结和习题，书后附有习题的参考答案和提示。
本书可作为高等学校本科计算机专业的教材，也可作为成人教育本科计算机专业的教材，对于自学考试的学生来说，也是一本很有价值的参考书。
目录
第1章 集合
1．1 集合及其表示方法
1．2 集合间的关系
1．3 集合的运算和运算定律
1．4 集合成员表
1．5 集合的分划与覆盖
小结
习题1
第2章 关系
2．1 笛卡儿积与关系
2．2 关系的表示
2．3 关系的复合运算
2．4 关系的性质与闭包
2．5 等价关系
2．6 相容关系
2．7 偏序关系
小结
习题2
第3章 函数
3．1 函数的概念
.3．2 函数的复合运算
3．3 逆函数
3. 4 集合的基数
小结
习题3
第4章 代数系统
4．1 运算
4．2 代数系统
4．3 代数系统的同态与同构
4．4 代数系统的积代数
小结
习题4
第5章 典型的代数系统
5. 1 半群和独异点
5．2 群的定义
5．3 群的性质
5．4 子群及其判别
5．5 偏序集
5．6 格及其性质
5．7 分配格和有补格
5．8 布尔代数
小结
习题5
第6章 图论
6．1 图的基本概念
6．2 图的矩阵表示
6．3 欧拉图与哈密尔顿图
6．4 树
6．5 二部图
6．6 平面图
6．7 有向图
6．8 根树
小结
习题6
第7章 命题逻辑
7．1 命题和命题联结词
7．2 命题公式
7．3 命题公式的等值和蕴涵
7．4 范式
7．5 命题演算的推理理论
小结
习题7
第8章 谓词逻辑
8．1 谓词、个体和量词
8．2 谓词演算公式
8．3 谓词演算公式的等值和蕴涵
8．4 谓词演算的推理理论
小结
习题8
习题参考答案和提示
参考文献
1．1 集合及其表示方法
1．2 集合间的关系
1．3 集合的运算和运算定律
1．4 集合成员表
1．5 集合的分划与覆盖
小结
习题1
第2章 关系
2．1 笛卡儿积与关系
2．2 关系的表示
2．3 关系的复合运算
2．4 关系的性质与闭包
2．5 等价关系
2．6 相容关系
2．7 偏序关系
小结
习题2
第3章 函数
3．1 函数的概念
.3．2 函数的复合运算
3．3 逆函数
3. 4 集合的基数
小结
习题3
第4章 代数系统
4．1 运算
4．2 代数系统
4．3 代数系统的同态与同构
4．4 代数系统的积代数
小结
习题4
第5章 典型的代数系统
5. 1 半群和独异点
5．2 群的定义
5．3 群的性质
5．4 子群及其判别
5．5 偏序集
5．6 格及其性质
5．7 分配格和有补格
5．8 布尔代数
小结
习题5
第6章 图论
6．1 图的基本概念
6．2 图的矩阵表示
6．3 欧拉图与哈密尔顿图
6．4 树
6．5 二部图
6．6 平面图
6．7 有向图
6．8 根树
小结
习题6
第7章 命题逻辑
7．1 命题和命题联结词
7．2 命题公式
7．3 命题公式的等值和蕴涵
7．4 范式
7．5 命题演算的推理理论
小结
习题7
第8章 谓词逻辑
8．1 谓词、个体和量词
8．2 谓词演算公式
8．3 谓词演算公式的等值和蕴涵
8．4 谓词演算的推理理论
小结
习题8
习题参考答案和提示
参考文献
离散数学
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
