离散数学（第3版）

✍ Scribed by 马叔良 编

• Publisher: 电子工业出版社
• Year: 2009
• Tongue: Chinese
• Leaves: 203
• Edition: 3
• Category: Library

✦ Synopsis

《离散数学(第3版)》内容简介：离散数学和微积分不同，离散数学是以离散对象为研究对象的，是计算机专业和其他一些工程专业的数学基础。《离散数学(第3版)》包含了数理逻辑、集合论、数函数和递推关系、图论、代数系统及布尔代数等主要内容。《离散数学(第3版)》注重理论的系统性和准确性，特别重视对理论难点的诠释，叙述通俗易读。

《离散数学(第3版)》适合作为高等学校计算机专业或其他工程类专业教材使用，也可以供对离散数学有兴趣的读者自学。

✦ Table of Contents

前 言
目 录
第1章 绪 论
1.1 离散数学的研究对象
1.2 离散数学的主要内容
1.3 学习离散数学的方法
第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.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.8 命题逻辑和二值逻辑器件
2.9 一阶谓词逻辑
2.10 命题函数和个体变量及量词
2.10.1 命题函数
2.10.2 量词
2.11 谓词公式
2.11.1 谓词公式
2.11.2 变量的约束和替换
2.11.3 谓词演算中的等价与蕴含
2.12 谓词演算的推理理论
习 题
第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.4.3 偏序集中的某些特殊元素
3.5 函数及其运算
3.5.1 函数的概念
3.5.2 函数的复合
3.5.3 逆函数
习 题
第4章 数函数和递推关系
4.1 数函数概念
4.2 数函数的基本运算
4.3 数函数的母函数
4.4 递推关系
4.4.1 常系数线性递推关系
4.4.2 用母函数求解数函数的通式
习 题
第5章 图 论
5.1 图的基本概念和术语
5.2 路和回路
5.3 图的矩阵表示
5.4 树和生成树
5.4.1 无向树的概念
5.4.2 最小生成树
5.5 有向树及其应用举例
5.5.1 有向树的概念
5.5.2 根树的一个应用举例
5.6 欧拉图与哈密顿图
5.6.1 欧拉图
5.6.2 欧拉定理的一个应用举例
5.6.3 哈密顿图
5.7 最短路径与最长路径问题
5.7.1 最短路径
5.7.2 最长路径
5.8 平面图
习 题
第6章 代 数 系 统
6.1 运算和代数系统
6.1.1 运算的概念
6.1.2 运算的性质
6.2 半群和独异点
6.3 群和子群
6.3.1 群的概念
6.3.2 子群的概念
6.4 阿贝尔群和循环群
6.4.1 阿贝尔群
6.4.2 循环群
6.5 置换群和伯恩赛德定理
6.5.1 置换群
6.5.2 伯恩赛德定理
6.6 陪集和正规子群
6.7 拉格朗日定理
6.8 同态、同构和同余
6.8.1 同态和同构
6.8.2 同余关系和同态
6.9 环和域
习 题
第7章 格与布尔代数
7.1 偏序集、格和格代数
7.1.1 偏序和格
7.1.2 对偶原理
7.1.3 格的初等性质
7.1.4 格与代数系统的对应
7.2 有补格和分配格
7.3 布尔代数
7.4 布尔表达式
7.5 布尔函数的表示及极小化
7.5.1　布尔函数的表示法
7.5.2 布尔函数的极小化
习 题
参 考 文 献