《离散数学》可作为高等工科院校计算机专业和信息类专业的教材，也可供高等职业技术学院、高等工业专科学校及其他大专院校的师生以及编程人员参考使用。离散数学是计算机专业和部分信息类专业的必修课程，也是IEEE的教育委员会建议的计算机专业本科必修课程。为适应当前教育需求，《离散数学》降低了理论环节的难度，强调实践及应用环节。书中详细介绍了算法基础、集合与序列、关系与函数、逻辑与证明、图论、网络模型、代数系统以及有限状态机和图灵机等内容。为了便于学生上机编写程序，《离散数学》在编写的过程中增加了算法章节。

第1章 算法基础<br>1.1 算法简介<br>1.2 算法表示<br>1.3 算法分析<br>习题<br>上机习题<br>第2章 集合与序列<br>2.1 定义和运算<br>2.1.1 集合的定义<br>2.1.2 集合运算的实现<br>2.1.3 集合运算的性质<br>2.2 序列与串<br>2.3 矩阵<br>习题<br>上机习题<br>第3章 关系与函数<br>3.1 关系的定义与表示<br>3.1.1 二元关系的定义<br>3.1.2 关系的表示<br>3.2 复合运算<br>3.3 关系的性质<br>3.3.1 性质定义<br>3.3.2 关系性质的判定算法<br>3.4 等价关系<br>3.5 次序关系<br>3.5.1 偏序关系<br>3.5.2 线性次序<br>3.5.3 拟序关系<br>3.6 问题求解<br>3.7 函数<br>3.7.1 函数的定义<br>3.7.2 函数的性质<br>习题<br>上机习题<br>第4章 逻辑与证明<br>4.1 命题逻辑<br>4.1.1 命题的定义与运算<br>4.1.2 条件命题<br>4.1.3 逻辑等价<br>4.2 谓词逻辑<br>4.3 逻辑学与Web搜索<br>4.4 推理与证明<br>4.4.1 等式推理<br>4.4.2 归结证明<br>习题<br>上机习题<br>第5章 图论<br>5.1 基本概念<br>5.1.1 图的起源<br>5.1.2 图的定义<br>5.1.3 通路与回路<br>5.2 图的表示<br>5.3 图与问题求解<br>5.4 欧拉图<br>5.5 汉密尔顿回路<br>5.6 最短路径算法<br>习题<br>上机习题<br>……<br>第6章 网络模型<br>第7章 代数系统<br>第8章 有限状态机和图灵机<br>附录