《高等院校信息管理与信息系统专业系列教材：离散数学（第3版）》包括以下6个方面的内容：（1）数理逻辑；（2）集合论；（3）代数结构；（4）图论；（5）组合分析初步；（6）形式语言与自动机初步。书中概念论述清楚，讲解详实，通俗易懂，并且着重于概念的应用，而不着重于定理的证明，每章后均附有习题，建议学时60-80。
《高等院校信息管理与信息系统专业系列教材：离散数学（第3版）》可以作为计算机及相关专业本科生的教材，也可以作为计算机软件专业水平考试的参考书，同时还可以供从事计算机软件、硬件研究开发和应用的人员使用，另有配套教材《离散数学题解》。
《高等院校信息管理与信息系统专业系列教材：离散数学（第3版）》获得2001年北京市教育教学成果（高等学校）一等奖。
目录
- 第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 题例分析
- 习题
- 第5章 代数系统的一般性质
- 第6章 几个典型的代数系统
- 第7章 图的基本概念
- 第8章 一些特殊的图
- 第9章 树
- 第10章 组合分析初步
- 第11章 形式语言和自动机初步
