包邮离散数学及应用学习指导与习题解析(“国家级一流本科课程”配套教材系列)

第1章 基础知识
1．1 集合与序列
1．1．1 内容提要
1．1．2 主教材习题参考解答
1．2 数论基础
1．2．1 内容提要
1．2．2 主教材习题参考解答
1．3 计数基础
1．3．1 内容提要
1．3．2 主教材习题参考解答
1．4 布尔矩阵及其运算
1．4．1 内容提要
1．4．2 主教材习题参考解答
1．5 补充习题及参考解答

第2章 命题逻辑
2．1 命题逻辑的基本概念
2．1．1 内容提要
2．1．2 主教材习题参考解答
2．2 命题公式及其分类
2．2．1 内容提要
2．2．2 主教材习题参考解答
2．3 命题逻辑的等值演算
2．3．1 内容提要
2．3．2 主教材习题参考解答
2．4 对偶与范式
2．4．1 内容提要
2．4．2 主教材习题参考解答
2．5 命题联结词的完备集
2．5．1 内容提要
2．5．2 主教材习题参考解答
2．6 命题逻辑的推理
2．6．1 内容提要
2．6．2 主教材习题参考解答
2．7 补充习题及参考解答

第3章 谓词逻辑
3．1 谓词与量词
3．1．1 内容提要
3．1．2 主教材习题参考解答
3．2 谓词公式及分类
3．2．1 内容提要
3．2．2 主教材习题参考解答
3．3 自然语言形式化
3．3．1 内容提要
3．3．2 主教材习题参考解答
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．7 补充习题及参考解答
……

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

附录
参考文献