《软体工程系列规划教材:离散数学》内容简介：离散数学是计算机科学的核心课程。《离散数学》共分4篇8章，分别介绍数理逻辑、集合论、图论和代数系统四个专题。内容体系严谨，叙述深入浅出，证明推演详尽。在每一专题后，给出相关知识的套用实例，并且在每一章后配有相当数量的习题。为便于学习，《离散数学》配有多媒体课件及习题解答。《软体工程系列规划教材:离散数学》可作为高等院校计算机科学与技术专业及软体工程专业的教材，也可作为其他相关专业的教学用书，并可供计算机科研和工程技术人员参考。
基本介绍
- 书名：软体工程系列规划教材:离散数学
- 作者：郝林 黄亚群
- 出版日期：2012年5月1日
- 开本：16
- 品牌：科学出版社
- 外文名：Oiscrete Mathematics
- 出版社：科学出版社
- 页数：305页
- ISBN：7030343441, 9787030343444
内容简介
《软体工程系列规划教材:离散数学》特色：以事例导出并形象完整叙述离散数学核心内容，以工具为先导，基础作铺垫，概念为骨架，例子来充实，内容包括数理逻辑、集合论、图论、代数系统，《软体工程系列规划教材:离散数学》可提供习题解答和多媒体课件给任课教师。
图书目录
前言
第一篇 数理逻辑
第1章 命题逻辑
1.1 命题及命题联结词
1.2 命题公式及其类型
1.3 等价式与蕴涵式
1.4 对偶与範式
1.5 推理与证明
1.6 命题逻辑的套用
小结
习题
第2章 谓词逻辑
2.1 谓词逻辑基本概念
2.2 谓词公式及命题符号化
2.3 变元的约束
2.4 谓词演算的等价式和蕴涵式
2.5 谓词公式的範式
2.6 谓词演算的推理理论
小结
习题二
第二篇 集合论
第3章 集合论基础
3.1 集合的基本概念
3.2 集合的运算
3.3 集合的划分与覆盖
3.4 包含排斥原理
3.5 数学归纳法
3.6 集合的计算机表示
小结
习题三
第4章二元关係
4.1 关係的概念
4.2 关係的性质
4.3 关係的运算
4.4 关係的闭包运算
4.5 等价关係和等价类
4.6 相容关係和相容类
4.7 序关係和哈斯图
4.8 关係的套用
小结
习题四
第5章函式
5.1 函式的概念
5.2 函式的运算
5.3 集合的基数
5.4 基数的比较
5.5 特徵函式的套用
小结
习题五
第三篇 图论
第6章 图论
6.1 图的基本概念
6.2 路和图的连通性
6.3 图的矩阵表示
6.4 欧拉图和哈密尔顿图
6.5 平面图及对偶图
6.6 图的着色
6.7 树与生成树
6.8 根树及其套用
6.9 最短路径问题
6.10图论的套用
小结
习题六
第四篇 代数系统
第7章 代数结构
7.1 代数系统的基本概念
7.2 半群与独异点
7.3 群与子群
7.4 阿贝尔群与循环群
7.5 陪集与拉格朗日定理
7.6 同态与同构
7.7 环与域
小结
习题七
第8章 格与布尔代数
8.1 格
8.2 特殊格
8.3 布尔代数
8.4 布尔表达式
小结
习题八
参考文献
第一篇 数理逻辑
第1章 命题逻辑
1.1 命题及命题联结词
1.2 命题公式及其类型
1.3 等价式与蕴涵式
1.4 对偶与範式
1.5 推理与证明
1.6 命题逻辑的套用
小结
习题
第2章 谓词逻辑
2.1 谓词逻辑基本概念
2.2 谓词公式及命题符号化
2.3 变元的约束
2.4 谓词演算的等价式和蕴涵式
2.5 谓词公式的範式
2.6 谓词演算的推理理论
小结
习题二
第二篇 集合论
第3章 集合论基础
3.1 集合的基本概念
3.2 集合的运算
3.3 集合的划分与覆盖
3.4 包含排斥原理
3.5 数学归纳法
3.6 集合的计算机表示
小结
习题三
第4章二元关係
4.1 关係的概念
4.2 关係的性质
4.3 关係的运算
4.4 关係的闭包运算
4.5 等价关係和等价类
4.6 相容关係和相容类
4.7 序关係和哈斯图
4.8 关係的套用
小结
习题四
第5章函式
5.1 函式的概念
5.2 函式的运算
5.3 集合的基数
5.4 基数的比较
5.5 特徵函式的套用
小结
习题五
第三篇 图论
第6章 图论
6.1 图的基本概念
6.2 路和图的连通性
6.3 图的矩阵表示
6.4 欧拉图和哈密尔顿图
6.5 平面图及对偶图
6.6 图的着色
6.7 树与生成树
6.8 根树及其套用
6.9 最短路径问题
6.10图论的套用
小结
习题六
第四篇 代数系统
第7章 代数结构
7.1 代数系统的基本概念
7.2 半群与独异点
7.3 群与子群
7.4 阿贝尔群与循环群
7.5 陪集与拉格朗日定理
7.6 同态与同构
7.7 环与域
小结
习题七
第8章 格与布尔代数
8.1 格
8.2 特殊格
8.3 布尔代数
8.4 布尔表达式
小结
习题八
参考文献