离散数学（第3版）

图书标准信息

• 作者 马叔良 主编
• 出版社 电子工业出版社
• 出版时间 2009-11
• 版次 1
• ISBN 9787121097294
• 定价 20.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸

【内容简介】

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

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

【目录】

第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章 代数系统

　……

第7章 格与布尔代数

参考文献