本书系统阐述了离散数学的经典内容，包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论等方面的基本知识。根据计算机科学各专业的需要选择内容、把握尺度，尽可能将离散数学知识和计算机科学中的实际问题相结合。编排新颖，每章通过定义、定理、实例、例等形式将内容有机结合、融合贯通，达到学练兼顾的目的。加入了机上实现内容，满足了普通高校理工类本科生的实际需求。书末提供了离散数学常用符号、中英文名词术语对照表以及习题答案与提示，帮助读者学习理解。

本书系统阐述了离散数学的经典内容，包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论等方面的基本知识。本书根据计算机科学各专业的需要选择内容、把握尺度，尽可能将离散数学知识和计算机科学中的实际问题相结合。本书编排新颖，每章通过定义、定理、实例、例等形式将内容有机结合、融会贯通，达到学练兼顾的目的。本书加入了机上实现内容，满足了普通高校理工类本科生的实际需求。

本书书末还提供了离散数学常用符号、中英文名词术语对照表、英中文名词术语对照表以及习题答案与提示，能很好地帮助读者理解和学习。

本书既可作为应用型本科和高职高专院校计算机科学各专业的教材，也可作为工程技术人员的参考书。

第1章　基础知识

　1.1　集合的初步知识

　1.2　数学归纳法

　1.3　整数的基本性质

　　1.3.1　整除

　　1.3.2　素数

　　1.3.3　带余除法

　　1.3.4　最大公约数

　　1.3.5　最小公倍数

　　1.3.6　模运算

　　1.3.7　同余的应用

　1.4　序列的基本知识

　　1.4.1　序列

　　1.4.2　典型的整数序列

　　1.4.3　序列求和

　1.5　计数

　　1.5.1　加法原理和乘法原理

　　1.5.2　排列与组合

　　1.5.3　二项式定理

　　1.5.4　鸽巢原理

　1.6　矩阵的初步知识

　　1.6.1　矩阵的概念

　　1.6.2　矩阵的加法和数乘

　　1.6.3　矩阵的乘法

　　1.6.4　转置矩阵和逆矩阵

　1.7　本章小结

　1.8　习题

第2章　命题逻辑

　2.1　命题与联结词

　　2.1.1　命题

　　2.1.2　逻辑联结词

　　2.1.3　联结词的优先级

　　2.1.4　命题符号化

　　2.1.5　逻辑运算在计算机中的直接运用

　2.2　命题公式与等价演算

　　2.2.1　命题公式及其层次

　　2.2.2　命题公式的赋值

　　2.2.3　等价式与等价演算

　　2.2.4　等价演算的实际应用

　2.3　联结词的扩充与联结词完备集

　　2.3.1　联结词的扩充

　　2.3.2　与非、或非、异或的性质

　　2.3.3　联结词完备集

　2.4　范式

　　2.4.1　析取范式与合取范式

　　2.4.2　主析取范式与主合取范式

　　2.4.3　主范式的作用

　　2.4.4　用主范式解答实际问题

　2.5　命题逻辑推理

　　2.5.1　推理的形式结构

　　2.5.2　推理的证明方法

　　2.5.3　命题逻辑推理的实际应用

　2.6　本章小结

　2.7　习题

第3章　谓词逻辑

　3.1　谓词逻辑的基本概念

　　3.1.1　个体和谓词

　　3.1.2　量词

　　3.1.3　特性谓词

　　3.1.4　谓词逻辑符号化

　3.2　谓词公式与翻译

　　3.2.1　谓词公式

　　3.2.2　谓词逻辑的翻译

　3.3　变元的约束

　　3.3.1　约束变元和自由变元

　　3.3.2　约束变元的换名规则

　　3.3.3　自由变元的代替规则

　3.4　谓词公式的解释与分类

　　3.4.1　谓词公式的解释

　　3.4.2　谓词公式的分类

　3.5　谓词逻辑的等价式和前束范式

　　3.5.1　谓词逻辑等价式

　　3.5.2　前束范式

　3.6　谓词逻辑推理

　　3.6.1　推理定律

　　3.6.2　推理规则

　　3.6.3　谓词逻辑推理例题

　3.7　程序正确性证明

　3.8　本章小结

　3.9　习题

第4章 集合

 4.1 集合的基本概念

4.1.1 集合及其表示方法

4.1.2 集合间的关系

4.1.3 特殊集合

4.1.4 有限幂集元素的编码表示

 4.2 集合的基本运算

 4.3 集合恒等式

 4.4 集合的划分与覆盖

 4.5 有穷集合的计数

 4.6 本章小结

 4.7 习题

第5章 关系

 5.1 关系的概念与表示

5.1.1 笛卡儿积

5.1.2 二元关系的概念

5.1.3 关系矩阵和关系图

 5.2 复合关系和逆关系

5.2.1 复合关系

5.2.2 逆关系

 5.3 关系的性质

 5.4 关系的闭包

 5.5 等价关系和偏序关系

5.5.1 等价关系

5.5.2 偏序关系

5.5.3 字典排序和拓扑排序

 5.6 函数

5.6.1 函数的基本概念

5.6.2 复合函数和逆函数

5.6.3 几个重要的函数

 5.7 二元关系的应用

5.7.1 等价关系的应用

5.7.2 函数的应用

 5.8 多元关系及其应用

5.8.1 多元关系

5.8.2 关系数据库

 5.9 本章小结

 5.10 习题

第6章 代数系统

 6.1 二元运算及其性质

6.1.1 二元运算与一元运算

6.1.2 二元运算的性质与特殊元素

6.1.3 代数系统简介

6.1.4 典型例题分析

 6.2 半群与群

6.2.1 半群、独异点与群

6.2.2 幂

6.2.3 群的性质

6.2.4 典型例题分析

 6.3 子群、循环群与置换群

6.3.1 元素的周期

6.3.2 子群

6.3.3 循环群

6.3.4 置换群

 6.4 陪集和正规子群

6.4.1 陪集

6.4.2 正规子群

6.4.3 典型例题分析

 6.5 群的同态与同构

6.5.1 基本概念

6.5.2 基本性质

 6.6 环和域

6.6.1 环

6.6.2 域

 6.7 格

6.7.1 格的定义

6.7.2 格的性质

6.7.3 几种特殊的格

 6.8 布尔代数

6.8.1 布尔代数及其性质

6.8.2 布尔函数与布尔表达式

 6.9 应用实例

6.9.1 门电路

6.9.2 逻辑电路设计

 6.10 本章小结

 6.11 习题

第7章 图论

 7.1 图的基本概念

7.1.1 图的定义

7.1.2 特殊的图

7.1.3 子图

7.1.4 结点的度

 7.2 图的连通性

7.2.1 路径和回路

7.2.2 无向图的连通性

7.2.3 有向图的连通性

7.2.4 欧拉图

7.2.5 哈密顿图

7.2.6 带权图的最短路

 7.3 图的矩阵表示

7.3.1 无向图的关联矩阵

7.3.2 有向图的关联矩阵

7.3.3 有向图的邻接矩阵

7.3.4 无向图的邻接矩阵

 7.4 树

7.4.1 无向树与生成树

7.4.2 有向树

7.4.3 最优二元树

7.4.4 前缀码

7.4.5 树的遍历

 7.5 本章小结

 7.6 习题

第8章 算法与伪代码

 8.1 算法概述

 8.2 判断素数算法

 8.3 求最大数算法

 8.4 求最大公约数的欧几里得算法

 8.5 求拓扑排序的算法

 8.6 求欧拉路的Fleury算法

 8.7 求最短路径的Dijkstra算法

 8.8 求最小生成树的Prim算法

 8.9 求最优二元树的Huffman算法

附录A 离散数学常用符号

附录B 中英文名词术语对照表

附录C 英中文名词术语对照表

附录D 习题答案与提示

参考文献