包邮离散数学及应用(第3版)(“国家级一流本科课程”配套教材系列)

第1章 基础知识
1．1 集合与序列
1．1．1 集合的基本概念
1．1．2 集合的运算及性质
1．1．3 序列
习题1．1
1．2 数论基础
习题1．2
1．3 计数基础
1．3．1 加法法则与乘法法则
1．3．2 排列与组合
1．3．3 鸽巢原理
1．3．4 有限集合的计数——容斥原理
1．3．5 递推关系
习题1．3
1．4 布尔矩阵及其运算
习题1．4
扩展阅读

第2章 命题逻辑
2．1 命题逻辑的基本概念
习题2．1
2．2 命题公式及其分类
习题2．2
2．3 命题逻辑的等值演算
习题2．3
2．4 对偶与范式
2．4．1 对偶
2．4．2 析取范式与合取范式
2．4．3 主范式
习题2．4
2．5 命题联结词的完备集
习题2．5
2．6 命题逻辑的推理
习题2．6
扩展阅读

第3章 谓词逻辑
3．1 谓词与量词
3．1．1 谓词
3．1．2 量词
习题3．1
3．2 谓词公式及分类
习题3．2
3．3 自然语言形式化
习题3．3
3．4 谓词逻辑的等值演算
习题3．4
3．5 前束范式
习题3．5
3．6 谓词逻辑的推理
习题3．6
扩展阅读
……

第4章 二元关系
第5章 函数
第6章 偏序关系、偏序集与格
第7章 代数结构
第8章 图论
第9章 树及其应用
第10章 形式语言、自动机与正则表达式

附录
在线附录列表