店铺推荐
【作者】
牛连强，男，沈阳工业大学软件学院院长、教授二是余年来，长期从事高等学校计算机领域的教学和科研工作，教学经验丰富、科研项目成果丰富，并出版了多部教材和专著，发表论文40余篇。
【内容】
《普通高等教育"十三五"规划教材:工科离散数学》以数理逻辑为基础，介绍命题逻辑、一阶谓词逻辑、集合论、关系、函数、代数结构和图论。不同于一般的离散数学书籍，《普通高等教育"十三五"规划教材:工科离散数学》内容主要以满足一般工科院校计算机科学与技术、软件工程、信息与计算科学以及其他信息领域相关专业的离散数学课程教学要求为主，不求大求全，尤其是根据工程教育的要求，注重介绍有应用价值的理论，避免理论上的缠绕，内容简介务求通俗明了。同时，还增加了相当数量的工程应用方面的简介以及相关参考文献，使学习者能够快速了解这些理论的实际工程用途。《普通高等教育"十三五"规划教材:工科离散数学》的配套网络课程、电子教案和习题辅导用书将陆续推出，以满足现在立体化教学的要求。《普通高等教育"十三五"规划教材:工科离散数学》不仅能很好地满足一般工科院校的离散数学课程教学需要，也特别适合自学。
【目录】
第1章命题逻辑
1.1命题
1.2逻辑联结词
1.2.1基本联结词
1.2.2其他联结词
1.3命题公式与真值表
1.3.1命题公式
1.3.2真值表
1.4命题翻译
1.4.1合取命题
1.4.2可兼与不可兼析取命题
1.4.3条件命题
1.4.4多联结词命题
1.5命题公式的值与等价
1.5.1命题公式的分类
1.5.2命题公式的等价
1.5.3联结词的功能完备集
1.5.4由德·摩根律到对偶原理
1.6范式
1.6.1简单的范式
1.6.2小项与大项
1.6.3主析取范式与主合取范式
1.7推理理论
1.7.1蕴含与论证
1.7.2自然推理系统
第2章谓词逻辑
2.1谓词、个体词与量词
2.1.1个体词与谓词
2.1.2量词与量化
2.2谓词逻辑中的命题翻译
2.2.1特殊化个体词的命题
2.2.2量词量化的命题
2.3量词约束与谓词公式的解释
2.3.1量词对个体词变元的作用
2.3.2谓词公式的解释与求值
2.3.3量词与联结词的搭配
2.4谓词逻辑中的基本等价和蕴含关系
2.4.1基本等价与蕴含关系
2.4.2利用等价关系计算前束范式
2.5谓词演算的推理理论
第3章集合论基础
3.1集合的概念与表示方法
3.1.1集合描述
3.1.2集合的包含与相等
3.1.3空集与全集
3.1.4集合的幂集
3.2集合运算
3.2.1基本运算
3.2.2多集合的交与并
3.3集合运算的性质与证明方法
3.3.1集合运算的性质与演算证明
3.3.2基于定义的集合运算证明方法
3.4序偶与笛卡尔积
3.4.1序偶与元组
3.4.2笛卡尔积
第4章关系
4.1二元关系的含义与表示
4.1.1二元关系
4.1.2关系的矩阵和图表示法
4.2关系运算
4.2.1关系求逆与复合
4.2.2关系运算的性质
4.2.3利用关系图与关系矩阵实现关系运算
4.2.4多关系的复合
4.3关系的主要性质
4.3.1自反与反自反关系
4.3.2对称与反对称关系
4.3.3传递关系
4.3.4特殊关系的判定
4.4关系的闭包
4.4.1闭包的概念
4.4.2闭包计算
4.5相容关系与等价关系
4.5.1集合的覆盖与划分
4.5.2相容与等价
4.5.3相容关系产生的接近覆盖
4.5.4等价关系产生的划分
4.5.5由覆盖、划分生成相容关系和等价关系
4.6序关系
4.6.1体现部分次序的偏序关系
4.6.2哈斯图
4.6.3偏序集的特殊元素
第5章函数
5.1从关系到函数
5.1.1函数的概念
5.1.2函数集
5.1.3特殊函数
5.2函数的逆与复合
5.2.1双射的反函数
5.2.2函数的复合
5.2.3函数运算的性质
5.3集合的基数
5.3.1集合等势
5.3.2有限集与无限集
5.3.3可数集与不可数集
5.3.4基数比较
第6章运算与代数系统
6.1运算及其性质
6.1.1n元运算
6.1.2二元运算的主要性质
6.2二元运算中的特殊元素
6.2.1幺元
6.2.2零元
6.2.3逆元
6.3代数系统
6.3.1代数与子代数
6.3.2同态与同构
6.4半群与独异点
6.5群与子群
6.5.1群的概念
6.5.2群的性质
6.5.3子群
6.6循环群与置换群
6.6.1循环群
6.6.2置换群
6.7群的陪集分解
6.7.1陪集
6.7.2拉格朗日定理
第7章环、域、格和布尔代数
7.1环和域
7.1.1环
7.1.2域
7.2格
7.2.1格与其诱导的代数系统
7.2.2子格
7.2.3特殊格
7.3布尔代数
7.3.1布尔格诱导的布尔代数
7.3.2典型的布尔代数
第8章图
8.1图的基本概念
8.1.1图的认知
8.1.2结点的度与握手定理
8.1.3接近图与正则图
8.1.4子图、补图与图同构
8.2图的连通性
8.2.1路与回路
8.2.2无向图的连通性
8.2.3有向图的连通性
8.3图的矩阵表示
8.3.1邻接矩阵
8.3.2关联矩阵
8.4二部图、欧拉图与汉密尔顿图
8.4.1二部图
8.4.2欧拉图
8.4.3汉密尔顿图
8.5平面图
8.5.1平面图与欧拉定理
8.5.2平面图的对偶图
8.5.3平面图的着色
8.6树
8.6.1无向树
8.6.2生成树
8.6.3根树
附录A符号索引
参考文献
1.1命题
1.2逻辑联结词
1.2.1基本联结词
1.2.2其他联结词
1.3命题公式与真值表
1.3.1命题公式
1.3.2真值表
1.4命题翻译
1.4.1合取命题
1.4.2可兼与不可兼析取命题
1.4.3条件命题
1.4.4多联结词命题
1.5命题公式的值与等价
1.5.1命题公式的分类
1.5.2命题公式的等价
1.5.3联结词的功能完备集
1.5.4由德·摩根律到对偶原理
1.6范式
1.6.1简单的范式
1.6.2小项与大项
1.6.3主析取范式与主合取范式
1.7推理理论
1.7.1蕴含与论证
1.7.2自然推理系统
第2章谓词逻辑
2.1谓词、个体词与量词
2.1.1个体词与谓词
2.1.2量词与量化
2.2谓词逻辑中的命题翻译
2.2.1特殊化个体词的命题
2.2.2量词量化的命题
2.3量词约束与谓词公式的解释
2.3.1量词对个体词变元的作用
2.3.2谓词公式的解释与求值
2.3.3量词与联结词的搭配
2.4谓词逻辑中的基本等价和蕴含关系
2.4.1基本等价与蕴含关系
2.4.2利用等价关系计算前束范式
2.5谓词演算的推理理论
第3章集合论基础
3.1集合的概念与表示方法
3.1.1集合描述
3.1.2集合的包含与相等
3.1.3空集与全集
3.1.4集合的幂集
3.2集合运算
3.2.1基本运算
3.2.2多集合的交与并
3.3集合运算的性质与证明方法
3.3.1集合运算的性质与演算证明
3.3.2基于定义的集合运算证明方法
3.4序偶与笛卡尔积
3.4.1序偶与元组
3.4.2笛卡尔积
第4章关系
4.1二元关系的含义与表示
4.1.1二元关系
4.1.2关系的矩阵和图表示法
4.2关系运算
4.2.1关系求逆与复合
4.2.2关系运算的性质
4.2.3利用关系图与关系矩阵实现关系运算
4.2.4多关系的复合
4.3关系的主要性质
4.3.1自反与反自反关系
4.3.2对称与反对称关系
4.3.3传递关系
4.3.4特殊关系的判定
4.4关系的闭包
4.4.1闭包的概念
4.4.2闭包计算
4.5相容关系与等价关系
4.5.1集合的覆盖与划分
4.5.2相容与等价
4.5.3相容关系产生的接近覆盖
4.5.4等价关系产生的划分
4.5.5由覆盖、划分生成相容关系和等价关系
4.6序关系
4.6.1体现部分次序的偏序关系
4.6.2哈斯图
4.6.3偏序集的特殊元素
第5章函数
5.1从关系到函数
5.1.1函数的概念
5.1.2函数集
5.1.3特殊函数
5.2函数的逆与复合
5.2.1双射的反函数
5.2.2函数的复合
5.2.3函数运算的性质
5.3集合的基数
5.3.1集合等势
5.3.2有限集与无限集
5.3.3可数集与不可数集
5.3.4基数比较
第6章运算与代数系统
6.1运算及其性质
6.1.1n元运算
6.1.2二元运算的主要性质
6.2二元运算中的特殊元素
6.2.1幺元
6.2.2零元
6.2.3逆元
6.3代数系统
6.3.1代数与子代数
6.3.2同态与同构
6.4半群与独异点
6.5群与子群
6.5.1群的概念
6.5.2群的性质
6.5.3子群
6.6循环群与置换群
6.6.1循环群
6.6.2置换群
6.7群的陪集分解
6.7.1陪集
6.7.2拉格朗日定理
第7章环、域、格和布尔代数
7.1环和域
7.1.1环
7.1.2域
7.2格
7.2.1格与其诱导的代数系统
7.2.2子格
7.2.3特殊格
7.3布尔代数
7.3.1布尔格诱导的布尔代数
7.3.2典型的布尔代数
第8章图
8.1图的基本概念
8.1.1图的认知
8.1.2结点的度与握手定理
8.1.3接近图与正则图
8.1.4子图、补图与图同构
8.2图的连通性
8.2.1路与回路
8.2.2无向图的连通性
8.2.3有向图的连通性
8.3图的矩阵表示
8.3.1邻接矩阵
8.3.2关联矩阵
8.4二部图、欧拉图与汉密尔顿图
8.4.1二部图
8.4.2欧拉图
8.4.3汉密尔顿图
8.5平面图
8.5.1平面图与欧拉定理
8.5.2平面图的对偶图
8.5.3平面图的着色
8.6树
8.6.1无向树
8.6.2生成树
8.6.3根树
附录A符号索引
参考文献
