《离散数学引论》是1986年天津科学技术出版社出版的图书，作者是张锦文、沈瑞民。

内容简介

本书供数学、应用数学、计算机科学技术、信息等专业的研究生和需要较深离散数学的本科生选用。全书划分六篇，主要内容如下：

图论与算法图论、组合论、代数系统、数理逻辑、离散数学中的空间、矩阵和拟阵、Turing机和计算复杂度理论，每篇配有难易适当的足够作业题。

全书概念与理论明晰严谨，注重算法与应用，文字洗练生动，立论深入浅出，可读与可教性强。

目录

序 言

第一篇 图及其算法

1.1 什么是图论

1.2 图的定义

1.3 Brouwer不动点定理

1.4 Dijkstra算法

习题一

1.5 树

1.6 生成树

1.6.1 生成树的个数

1.6.2 最优生成树的Kruskal算法

1.7 常用树

1.7.1 有序二元树

1.7.2 Huffman树

习题二

1.8 平面图

1.8.1 平面图及其Euler公式

1.8.2 对偶图和极大平面图

1.8.3 Kuratowsky定理

1.8.4 图的厚度

习题三

1.9 纵深搜索和平面嵌入算法

1.9.1 广度优先与深度优先搜索算法

1.9.2 求割顶和块的算法

1.9.3 有向图的DFS和极大强连通子图的算法

1.9.4 平面嵌入算法

习题四

1.10 匹配

1.10.1 匹配理论

1.10.2 二分图中最大匹配与最佳匹配的算法

习题五

1.11 图上遍历

1.11.1 Euler图

1.11.2 求Euler回路的算法

1.11.3 中国邮路问题

1.11.4 Harmihon图

习题六

1.12 色

1.12.1 边色数

..........

第二篇 组合基础

第三篇 代数与计数

第四篇 离散数学中的空间。矩阵和拟阵

第五篇 不确定Turing机和计算的时间复杂度

第六篇 数理逻辑

习题一

习题二

参考文献

参考资料