离散数学教程

　　《离散数学教程》内容叙述严谨，推演详尽，深入浅出，通俗易懂，大部分概念都用详细的实例说明并配有习题。离散数学是计算机科学相关专业重要的专业基础课程，是计算机专业，信息相关专业，计算机系统软、硬件开发专业以及数学与应用数学专业，数学建模。工程，管理，金融等专业不可缺少的基础知识。《离散数学教程》适合高等院校相关各专业作为离散数学课程的基本教材和参考书。全书共分四章。分别介绍集合论、数理逻辑、代数系统和图论四部分内容，并附有教学大纲和模拟试题。

暂缺《离散数学教程》作者简介

第1章 集合论
1．1 集合的概念与运算
1．1．1 集合的概念和表示法
1．1．2 集合论的公理系统
1．1．3 集合相等与包含
1．1．4 空集与基础集
1．1．5 无限集与幂集
1．1．6 集合的并集
1．1．7 集合的交集
1．1．8 集合的补集
1．1．9 集合的对称差集
1．2 关系的概念
1．2．1 笛卡儿积
1．2．2 关系
1．2．3 恒同关系
1．2．4 关系图与关系矩阵
1．3 关系的性质与运算
1．3．1 关系的性质
1．3．2 关系的运算
1．3．3 复合关系
1．3．4 逆关系
1．3．5 关系的相关运算
1．4 关系的闭包
1．4．1 闭包的概念
1．4．2 闭包的计算
1．4．3 传递闭包的warshau计算方法
1．5 等价关系
1．5．1 集合的覆盖与划分
1．5．2 等价关系
1．5．3 相容关系
1．6 序关系
1．6．1 偏序关系
1．6．2 盖住关系
1．6．3 哈斯图
1．6．4 最（极）大（小）元
1．6．5 上（下）（确）界
1．6．6 全序集与良序集
1．7 函数
1．7．1 函数的概念
1．7．2 特殊的函数
1．7．3 逆函数
1．7．4 复合函数
1．8 基数
1．8．1 基数的概念
1．8．2 可数集
集合论习题
第2章 数理逻辑
2．1 命题与联结词
2．1．1 命题的概念
2．1．2 命题符号
2．1．3 复合命题
2．1．4 常用的五个命题联结词
2．2 命题公式与真值表
2．2．1 命题变元
2．2．2 命题公式
2．2．3 真值表
2．3 等价及等价公式
2．3．1 等价或逻辑相等
2．3．2 等价公式表
2．4 重言式与蕴含式
2．4．1 重言式
2．4．2 蕴含
2．4．3 蕴含式的证明方法
2．4．4 蕴含公式表
2．4．5 其他联结词
2．5 范式
2．5．1 合取范式与析取范式
2．5．2 小项与主析取范式
2．5．3 大项与主合取范式
2．5．4 用真值表表示主范式
2．6 推理理论
2．6．1 推理规则
2．6．2 直接证法
2．6．3 反证法
2．6．4 CP规则法
2．7 谓词与谓词公式
2．7．1 谓词的概念
2．7．2 命题函数与论域
2．7．3 量词
2．7．4 谓词公式
2．8 谓词演算
2．8．1 谓词公式的等价式和蕴含式
2．8．2 前束范式
2．8．3 谓词公式演算的推理理论
数理逻辑习题
第3章 代数系统
3．1 代数运算及性质
3．1．1 代数运算的概念
3．1．2 二元运算的性质
3．1．3 单位元、零元、逆元
3．2 代数系统与半群
3．2．1 代数系统
3．2．2 半群
3．3 群
3．3．1 群的概念
3．3．2 子群
3．4 置换群
3．4．1 置换
3．4．2 置换群
3．4．3 循环置换与对换
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．8．1 格
3．8．2 分配格
3．8．3 有界格
3．8．4 有补格
3．8．5 布尔代数
代数系统习题
第4章 图论
4．1 图的概念
4．1．1 图的概念
4．1．2 结点的度数
4．2 路与回路
4．2．1 通路与回路
4．2．2 连通性与割点
4．2．3 有向图的连通性
4．3 图与矩阵
4．3．1 图的矩阵
4．3．2 可达性矩阵
4．4 欧拉图
4．4．1 欧拉通路与欧拉回路
4．4．2 欧拉图的判定
4．4．3 中国邮递员问题
4．5 哈密尔顿图
4．5．1 哈密尔顿图
4．5．2 哈密尔顿路
4．5．3 旅行商问题
4．6 平面图
4．6．1 平面图的概念
4．6．2 平面图的区域
4．6．3 欧拉定理
4．6．4 四色定理
4．7 两步图
4．7．1 两步图
4．7．2 匹配
4．8 树
4．8．1 树的概念
4．8．2 生成树
4．9 有向树
4．9．1 外向树
4．9．2 二元树
4．9．3 最优树
图论习题
附录
模拟试题(一)
模拟试题(二)
硕士研究生入学考试试题(一)
硕士研究生入学考试试题(二)
《离散数学》教学大纲(72学时)
《离散数学》教学大纲(48学时)
参考文献