扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
声音简史
-
>
浪漫地理学:追寻崇高景观
离散数学及其应用 版权信息
- ISBN:9787568509190
- 条形码:9787568509190 ; 978-7-5685-0919-0
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>
离散数学及其应用 内容简介
何中胜主编的《离散数学及其应用(第2版新世纪普通高等教育计算机类课程规划教材)》是编者在十几年离散数学教学经验基础上,结合普通高校人才培养方案及学生能力结构要求编写而成的,强调“有基础,强能力;重实践,强应用”,全书共分4篇:篇为数理逻辑;第2篇为集合论;第3篇为代数系统;第4篇为图论。
本教材可作为计算机科学与技术及信息类专业的基础理论教材,也可作为有关技术人员学习参考用书。
离散数学及其应用 目录
第1篇 数理逻辑
第1章 命题逻辑
1.1 命题及其表示
1.1.1 命题的基本概念
1.1.2 命题分类
1.1.3 命题标识符
1.2 逻辑联结词
1.2.1 否定联结词
1.2.2 合取联结词
1.2.3 析取联结词
1.2.4 条件联结词
1.2.5 双条件联结词
1.3 命题公式与翻译
1.3.1 命题公式
1.3.2 命题的翻译
1.4 真值表与命题公式分类
1.4.1 真值表
1.4.2 命题公式分类
1.5 命题逻辑的等价式与蕴含式
1.5.1 命题逻辑的等价式
1.5.2 命题逻辑的蕴含式
1.6 其他逻辑联结词与联结词组
1.6.1 其他逻辑联结词
1.6.2 *小功能完备联结词组
1.7 对偶式与范式
1.7.1 对偶式与对偶原理
1.7.2 命题公式的范式
1.7.3 命题公式的主析取范式和主合取范式
1.8 命题逻辑的推理理论
1.8.1 推理规则
1.8.2 推理定律
1.8.3 推理方法
本章小结
习题
第2章 谓词逻辑
2.1 个体、谓词和量词
2.1.1 个体和谓词
2.1.2 量词
2.2 谓词公式与翻译
2.2.1 谓词公式
2.2.2 谓词的翻译
2.3 约束变元与自由变元
2.4 谓词公式的解释与分类
2.4.1 谓词公式的解释
2.4.2 谓词公式的分类
2.5 谓词逻辑的等价式与蕴含式
2.5.1 谓词逻辑的等价式
2.5.2 谓词逻辑的蕴含式
2.6 谓词公式范式
2.6.1 前束范式
2.6.2 斯柯林范式
2.7 谓词逻辑的推理理论
2.7.1 推理规则
2.7.2 推理定律
2.7.3 推理方法
2.8 谓词逻辑在知识表示中的应用
2.8.1 知识与知识表示
2.8.2 基于谓词逻辑的知识表示
本章小结
习题
第2篇 集合论
第3章 集合与关系
3.1 集合的概念和表示法
3.1.1 集合与元素
3.1.2 集合间的关系
3.1.3 幂集
3.1.4 集合的数码表示
3.2 集合的运算
3.2.1 集合的几种基本运算
3.2.2 集合运算的文氏图表示
3.2.3 集合的运算定律
3.3 有限集合中元素的计数
3.3.1 文氏图法
3.3.2 容斥原理法
3.4 序偶与笛卡尔积
3.4.1 序偶
3.4.2 笛卡尔积
3.5 关系及其表示
3.5.1 关系的定义
3.5.2 关系的表示
3.6 复合关系和逆关系
3.6.1 复合关系
3.6.2 逆关系
3.7 关系的性质与表示方法
3.7.1 关系的性质
3.7.2 关系的表示方法
3.8 关系的闭包运算
3.9 集合的划分与等价关系
3.9.1 集合的划分和覆盖
3.9.2 等价关系与等价类
3.9.3 相容关系
3.10 偏序关系
3.10.1 偏序关系的定义
3.10.2 偏序关系的哈斯图
3.10.3 偏序集中特殊的元素
3.10.4 两种特殊的偏序集
本章小结
习题
第4章 函数
4.1 函数的基本概念
4.2 特殊性质的函数及特征函数
4.2.1 特殊性质的函数
4.2.2 特征函数
4.3 逆函数与复合函数
4.3.1 逆函数
4.3.2 复合函数
4.4 集合的势与可数集
4.4.1 集合的势
4.4.2 可数集
本章小结
习题
第3篇 代数系统
第5章 代数系统
5.1 运算与代数系统的概念
5.1.1 运算的概念
5.1.2 代数系统的概念
5.2 二元运算
5.2.1 二元运算的性质
5.2.2 集合上关于二元运算的特异元紊
5.2.3 利用运算表判断代数运算的性质
5.3 半群与含幺半群
5.3.1 半群及其性质
5.3.2 含幺半群及其性质
5.4 群与子群
5.4.1 群的基本概念
5.4.2.群的基本性质
5.4.3 群的元素的阶
5.4.4 子群及其判定定理
5.5 同态与同构
5.6 特殊群
5.6.1 阿贝尔群
5.6.2 循环群
5.6.3 置换群
5.7 Lagrange定理与正规子群
5.7.1 陪集与Lagrange定理
5.7.2 正规子群、商群
5.8 环与域
5.8.1 环
5.8.2 域
*5.9 群在编码理论中的应用
本章小结
习题
第6章 格与布尔代数
6.1 格的概念及性质
6.1.1 格的概念
6.1.2 格的性质
6.2 分配格与模格
6.2.1 分配格
6.2.2 模格
6.3 有界格与有补格
6.3.1 有界格
6.3.2 有补格
6.4 布尔代数.
6.4.1 布尔代数的概念
6.4.2 布尔代数的性质
6.4.3 子布尔代数
6.4.4 布尔代数的同态与同构
*6.4.5 有限布尔代数的原子表示
6.5 布尔表达式与布尔函数
6.5.1 布尔表达式
6.5.2 布尔函数
*6.6 布尔函数在电路设计中的应用
本章小结
习题
第4篇 图论
第7章 图论
7.1 图的基本概念
7.1.1 图的定义
7.1.2 子图与补图
7.1.3 结点的度
7.1.4 图的同构
7.2 路、回路与连通性
7.2.1 路与回路.
7.2.2 图的连通性
7.3 图的矩阵表示
7.3.1 邻接矩阵
7.3.2 可达矩阵
7.3.3 关联矩阵
7.4 欧拉图与哈密尔顿图
7.4.1 欧拉图
7.4.2 哈密尔顿图
*7.5 二部图及匹配
7.5.1 二部图
7.5.2 匹配
7.6 平面图
7.6.1 平面图定义
7.6.2 欧拉公式
7.6.3 平面图的对偶与着色
7.7 树与生成树
7.7.1 无向树的定义与性质
7.7.2 无向图中的生成树与*小生成树
7.8 根树及其应用
7.8.1 有向树
7.8.2 m叉树
7.8.3 *优二叉树
7.8.4 二叉树在计算机中的应用
7.9 *短路径问题
7.9.1 问题的提出
7.9.2 Dijkstra算法
本章小结
习题
参考文献
第1章 命题逻辑
1.1 命题及其表示
1.1.1 命题的基本概念
1.1.2 命题分类
1.1.3 命题标识符
1.2 逻辑联结词
1.2.1 否定联结词
1.2.2 合取联结词
1.2.3 析取联结词
1.2.4 条件联结词
1.2.5 双条件联结词
1.3 命题公式与翻译
1.3.1 命题公式
1.3.2 命题的翻译
1.4 真值表与命题公式分类
1.4.1 真值表
1.4.2 命题公式分类
1.5 命题逻辑的等价式与蕴含式
1.5.1 命题逻辑的等价式
1.5.2 命题逻辑的蕴含式
1.6 其他逻辑联结词与联结词组
1.6.1 其他逻辑联结词
1.6.2 *小功能完备联结词组
1.7 对偶式与范式
1.7.1 对偶式与对偶原理
1.7.2 命题公式的范式
1.7.3 命题公式的主析取范式和主合取范式
1.8 命题逻辑的推理理论
1.8.1 推理规则
1.8.2 推理定律
1.8.3 推理方法
本章小结
习题
第2章 谓词逻辑
2.1 个体、谓词和量词
2.1.1 个体和谓词
2.1.2 量词
2.2 谓词公式与翻译
2.2.1 谓词公式
2.2.2 谓词的翻译
2.3 约束变元与自由变元
2.4 谓词公式的解释与分类
2.4.1 谓词公式的解释
2.4.2 谓词公式的分类
2.5 谓词逻辑的等价式与蕴含式
2.5.1 谓词逻辑的等价式
2.5.2 谓词逻辑的蕴含式
2.6 谓词公式范式
2.6.1 前束范式
2.6.2 斯柯林范式
2.7 谓词逻辑的推理理论
2.7.1 推理规则
2.7.2 推理定律
2.7.3 推理方法
2.8 谓词逻辑在知识表示中的应用
2.8.1 知识与知识表示
2.8.2 基于谓词逻辑的知识表示
本章小结
习题
第2篇 集合论
第3章 集合与关系
3.1 集合的概念和表示法
3.1.1 集合与元素
3.1.2 集合间的关系
3.1.3 幂集
3.1.4 集合的数码表示
3.2 集合的运算
3.2.1 集合的几种基本运算
3.2.2 集合运算的文氏图表示
3.2.3 集合的运算定律
3.3 有限集合中元素的计数
3.3.1 文氏图法
3.3.2 容斥原理法
3.4 序偶与笛卡尔积
3.4.1 序偶
3.4.2 笛卡尔积
3.5 关系及其表示
3.5.1 关系的定义
3.5.2 关系的表示
3.6 复合关系和逆关系
3.6.1 复合关系
3.6.2 逆关系
3.7 关系的性质与表示方法
3.7.1 关系的性质
3.7.2 关系的表示方法
3.8 关系的闭包运算
3.9 集合的划分与等价关系
3.9.1 集合的划分和覆盖
3.9.2 等价关系与等价类
3.9.3 相容关系
3.10 偏序关系
3.10.1 偏序关系的定义
3.10.2 偏序关系的哈斯图
3.10.3 偏序集中特殊的元素
3.10.4 两种特殊的偏序集
本章小结
习题
第4章 函数
4.1 函数的基本概念
4.2 特殊性质的函数及特征函数
4.2.1 特殊性质的函数
4.2.2 特征函数
4.3 逆函数与复合函数
4.3.1 逆函数
4.3.2 复合函数
4.4 集合的势与可数集
4.4.1 集合的势
4.4.2 可数集
本章小结
习题
第3篇 代数系统
第5章 代数系统
5.1 运算与代数系统的概念
5.1.1 运算的概念
5.1.2 代数系统的概念
5.2 二元运算
5.2.1 二元运算的性质
5.2.2 集合上关于二元运算的特异元紊
5.2.3 利用运算表判断代数运算的性质
5.3 半群与含幺半群
5.3.1 半群及其性质
5.3.2 含幺半群及其性质
5.4 群与子群
5.4.1 群的基本概念
5.4.2.群的基本性质
5.4.3 群的元素的阶
5.4.4 子群及其判定定理
5.5 同态与同构
5.6 特殊群
5.6.1 阿贝尔群
5.6.2 循环群
5.6.3 置换群
5.7 Lagrange定理与正规子群
5.7.1 陪集与Lagrange定理
5.7.2 正规子群、商群
5.8 环与域
5.8.1 环
5.8.2 域
*5.9 群在编码理论中的应用
本章小结
习题
第6章 格与布尔代数
6.1 格的概念及性质
6.1.1 格的概念
6.1.2 格的性质
6.2 分配格与模格
6.2.1 分配格
6.2.2 模格
6.3 有界格与有补格
6.3.1 有界格
6.3.2 有补格
6.4 布尔代数.
6.4.1 布尔代数的概念
6.4.2 布尔代数的性质
6.4.3 子布尔代数
6.4.4 布尔代数的同态与同构
*6.4.5 有限布尔代数的原子表示
6.5 布尔表达式与布尔函数
6.5.1 布尔表达式
6.5.2 布尔函数
*6.6 布尔函数在电路设计中的应用
本章小结
习题
第4篇 图论
第7章 图论
7.1 图的基本概念
7.1.1 图的定义
7.1.2 子图与补图
7.1.3 结点的度
7.1.4 图的同构
7.2 路、回路与连通性
7.2.1 路与回路.
7.2.2 图的连通性
7.3 图的矩阵表示
7.3.1 邻接矩阵
7.3.2 可达矩阵
7.3.3 关联矩阵
7.4 欧拉图与哈密尔顿图
7.4.1 欧拉图
7.4.2 哈密尔顿图
*7.5 二部图及匹配
7.5.1 二部图
7.5.2 匹配
7.6 平面图
7.6.1 平面图定义
7.6.2 欧拉公式
7.6.3 平面图的对偶与着色
7.7 树与生成树
7.7.1 无向树的定义与性质
7.7.2 无向图中的生成树与*小生成树
7.8 根树及其应用
7.8.1 有向树
7.8.2 m叉树
7.8.3 *优二叉树
7.8.4 二叉树在计算机中的应用
7.9 *短路径问题
7.9.1 问题的提出
7.9.2 Dijkstra算法
本章小结
习题
参考文献
展开全部
离散数学及其应用 作者简介
何中胜,一直从事计算机类专业本科生教学,主要讲授《离散数学》、《数据结构》、《编译原理》,科研方向为数据挖掘与语义智能,主持或参加市级以上基金项目10项。
书友推荐
- >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
朝闻道
朝闻道
¥15.0¥23.8 - >
烟与镜
烟与镜
¥15.4¥48.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥13.5¥24.0 - >
莉莉和章鱼
莉莉和章鱼
¥14.3¥42.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8 - >
史学评论
史学评论
¥23.2¥42.0
本类畅销
-
普林斯顿微积分读本-(修订版)
¥69.3¥99 -
怎样解题
¥17.2¥29 -
数学-应用与思考
¥16.1¥32.8 -
高等代数思想方法分析及应用研究
¥25.3¥76 -
高等代数典型问题研究与实例探析
¥30.4¥92 -
数字唬人:用常识看穿无所不在的数字陷阱
¥16¥36.8