离散数学是现代数学的一个重要分支，是计算机科学中基础理论的一门核心课程，也是IEEE＆ACM确定的计算机专业核心课程，离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。张振琳编著的《离散数学(数字媒体技术高等院校十二五规划教材)》的编写目的就是为计算机专业的学生提供必要的数学基础。适用于数学、计算机科学、工程、数字媒体技术等专业的学生，其先修课程是大学代数。

第1章 命题逻辑

 1．1 命题和连接词

 1．2 命题公式和真值表

 1．3 等值演算

 1．4 连接词的全功能集

 1．5 命题公式的范式

 1．6 命题逻辑的推理理论

 1．7 习题

第2章 一阶逻辑

 2．1 基本概念

 2．2 一阶逻辑公式及其解释

 2．3 一阶逻辑等值式与前束范式

 2．4 一阶逻辑推理理论

 2．5 习题

第3章 集合

 3．1 集合的基本概念

 3．2 集合的运算

 3．3 集合恒等式

 3．4 习题

第4章 二元关系

 4．1 有序对和笛卡尔乘积

 4．2 二元关系

 4．3 关系图和关系矩阵

 4．4 关系的运算

 4．5 关系的性质

 4．6 关系的闭包

 4．7 等价关系和划分

 4．8 相容关系和覆盖

 4．9 序关系

 4．10 习题

第5章 函数

 5．1 函数的定义和性质

 5．2 复合函数与逆函数

 5．3 逆函数

 5．4 习题

第6章 代数系统

 6．1 二元运算及其性质

 6．2 代数系统

 6．3 代数系统的同态和同构

 6．4 半群和独异点

 6．5 群

 6．6 子群

 6．7 循环群

 6．8 置换群

 6．9 陪集

 6．10 环和域

 6．11 习题

第7章 格与布尔代数

 7．1 格的概念

 7．2 分配格

 7．3 布尔代数

 7．4 习题

第8章 图论

 8．1 图的基本概念

 8．2 路与回路

 8．3 图的连通性

 8．4 图的矩阵的表示

 8．5 欧拉图与哈密尔顿图

 8．6 平面图

 8．7 最短路径和关键路径

 8．8 树与生成树

 8．9 根树及其应用

 8．10 习题