离散数学是计算机专业中的一门重要的专业基础课，它是以离散量、离散量的运算结构、形式系统及相关的理论方法为主要研究对象，包含了人类在创造计算机、运用计算机以及发展研究计算机的过程中，所运用的各种数学方法和数学思想，以及与这些数学问题相关的基础知识。
《离散数学（第3版）》主要介绍离散数学的基础知识，全书共分七章，包括命题逻辑、一阶谓词逻辑、集合与二元关系、函数、代数系统、格代数、图论等，并含有相关的例题与习题。
《离散数学（第3版）》适用于高等理工科院校的计算机科学、计算机工程技术与应用、信息安全专业的本科生，也适用于信息管理、通信工程、电子技术等专业的本科生。
第一部分 数理逻辑
第1章 命题逻辑演算系统
1.1 命题逻辑演算系统的概念
1.1.1 命题
1.1.2 联结词
1.2 命题公式与真值表
1.2.1 命题公式与命题函数
1.2.2 命题公式的真值表
1.2.3 永真式与永假式
1.2.4 其他联结词
1.2.5 最小联结词组
1.3 等价式与蕴含式
1.3.1 命题公式的等价
1.3.2 命题公式的蕴含
1.3.3 等价的判定
1.3.4 蕴含的判定
1.4 范式与对偶式
1.4.1 对偶公式
1.4.2 范式
1.4.3 主范式
1.5 命题演算的推理理论
1.5.1 有效推理的概念
1.5.2 推理过程习题
第2章 一阶谓词逻辑演算系统
2.1 谓词命题
2.1.1 原子命题的谓词表示
2.1.2 量词
2.1.3 论域
2.1.4 含量词的谓词命题
2.2 谓词命题公式及约束变元
2.2.1 谓词命题公式
2.2.2 谓词公式的解释与赋值
2.2.3 谓词公式的等价与蕴含
2.2.4 约束变元与自由变元
2.2.5 代入实例
2.3 谓词逻辑演算的等价式和蕴含式
2.3.1 等价式与蕴含式
2.3.2 多元谓词及其量词
2.3.3 前束范式与Skolem范式
2.4 谓词逻辑演算的推理理论
2.4.1 谓词逻辑的有效推理
2.4.2 卸下、添加量词的规则习题
第二部分 集合论
第3章 集合与关系
3.1 集合及集合运算
3.1.1 集合的概念
3.1.2 集合的表示法
3.1.3 集合公理
3.1.4 集合的运算
3.1.5 集合运算的性质
3.2 三个基本原理
3.2.1 排列组合的复习
3.2.2 鸽巢原理
3.2.3 包含排斥原理
3.2.4 生成函数
3.3 笛卡儿积与关系
3.3.1 序偶与笛卡儿积
3.3.2 关系的概念
3.3.3 关系的表示
3.3.4 关系的性质
3.4 关系的运算
3.4.1 关系的集合运算
3.4.2 关系的复合运算
3.4.3 关系的逆运算
3.4.4 关系的闭包运算
3.5 等价关系与相容关系
3.5.1 划分与覆盖
3.5.2 等价关系与等价类
3.5.3 相容关系与相容类
3.6 次序关系
3.6.1 偏序关系
3.6.2 HASSE图
3.6.3 上确界与下确界
3.6.4 良序关系习题
第4章 函数
4.1 函数的概念
4.1.1 数的定义
4.1.2 数的特性
4.2 复合函数与逆函数
4.2.1 复合函数
4.2.2 逆函数
4.2.3 函数的运算性质
4.3 序数与自然数
4.3.1 等势与劣势
4.3.2 自然数
4.3.3 序数
4.4 基数
4.4.1 关于基数
4.4.2 可数集与不可数集
4.4.3 基数的比较习题
第三部分 代数系统
第5章 代数结构
5.1 置换及其运算
5.1.1 置换与轮换
5.1.2 轮换的运算性质及方法
5.1.3几个轮换运算的等式
5.2 数论初步
5.2.1 整数
5.2.2 辗转相除法
5.2.3 整数的互质性
5.2.4 整数的同余性
5.3 代数系统的概念
5.3.1 代数系统
5.3.2 子代数系统
5.4 代数结构与子结构
5.4.1 代数结构
5.4.2 子代数结构
5.5 同态、同构与同余
5.5.1 同态与同构
5.5.2 同余关系
5.6 几种典型的群
5.6.1 交换群
5.6.2 循环群
5.6.3 置换群
5.6.4 变换群与CaCey定理
5.7 陪集与拉格朗日定理
5.7.1 陪集
5.7.2 拉格朗日定理
5.7.3.Y规子群
5.7.4 同态定理
5.8 商代数与积代数
5.8.1 商代数
5.8.2 积代数
……
第四部分 图论
中英文索引
参考文献
在这一章里，要学习一种用符号构建的形式语言系统。并要学会将自然语言无二义地转换成另一种更严谨的形式语言，这种形式语言系统是人类逻辑思维方式的抽象，也是用计算机去识别和处理有关逻辑推理问题的基本模型。这里的符号是指英文字母，联结词符号及括号。
1.1命题逻辑演算系统的概念在自然语言中，有简单句和复合句，将简单句加上一些连接词便可以构成复合句。命题逻辑演算系统是一种形式化系统，在这个系统里，命题是一种最基本的演算单元，相当于简单句，运算相当于简单句之间的连接词。建立命题逻辑演算系统的最终目的是用形式化的逻辑推理方法来模拟人类的思维推理。这一节要解决的问题是建立一些基本概念，以及如何将自然语言表示成一种形式化的符号语言。
……
书单推荐
