离散数学辅导及习题精解（左孝凌版）
作者： 马德高 主编
出版时间： 2012年版
内容简介
离散数学是计算机科学中的重要理论之一，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学以研究离散变量的结构和相互关系为主要目标，着重培养学生的抽象思维和逻辑推理能力，为学生提高专业理论水平打下坚实的数学基础。
我们编书的目的是给学习离散数学的读者，提供一些解题方法的指导和给出课后习题的一个参考解答。
为了方便读者使用，书中各章节次序和习题编号均与原教材相一致，共分九章，内容包含命题逻辑，谓词逻辑，集合与关系，函数，代数结构，格和布尔代数，图论，形式语言与自动机和纠错码初步。每章必包含三部分：本章知识结构及内容小结，经典例题解析和本章教材习题全解，针对部分高校把离散数学作为研究生入学考试的科目之一，部分章中加入了历年考研真题评析。
目录
第1章 命题逻辑
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析

第2章 谓词逻辑
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析

第3章 集合与关系
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析

第4章 函数
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析

第5章 代数结构
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析

第6章 格和布尔代数
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析

第7章 图论
本章知识结构及内容小结
经典例题解析
本章教材习题全解
历年考研真题评析

第8章 形式语言与自动机
本章知识结构及内容小结
经典例题解析
本章教材习题全解

第9章 纠错码初步
本章知识结构及内容小结
经典例题解析

本章教材习题全解