出版社: 电子工业出版社; 第1版 (2009年11月1日)

丛书名: 高等学校计逄机系列规划教材

平装: 194页

正文语种: 简体中文

开本: 16

ISBN: 9787121097294

条形码: 9787121097294

尺寸: 25.6 x 18.2 x 1.2 cm

重量: 299 g

《离散数学(第3版)》内容简介：离散数学和微积分不同，离散数学是以离散对象为研究对象的，是计算机专业和其他一些工程专业的数学基础。《离散数学(第3版)》注重理论的系统性和準确性，特别重视对理论难点的诠释，叙述通俗易读。

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

第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 布尔函式的极小化

习题

参考文献