高等院校电子信息类专业学习辅导书：离散数学概念题解与自测

　　第一章  命题演算基础
　　1.1  基本要求
　　1.2  内容分析
　　1.3  习题解答
　　第二章  命题演算的推理理论
　　2.1  基本要求
　　2.2  内容分析
　　2.3  习题解答
　　第三章  谓词演算基础
　　3.1  基本要求
　　3.2  内容分析
　　3.3  习题解答
　　第四章  谓词演算的推理理论
　　4.1  基本要求
　　4.2  内容分析
　　4.3  习题解答
　　第五章  递归函数论
　　5.1  基本要求
　　5.2  内容分析
　　5.3  习题解答
　　第六章  集合
　　6.1  基本要求
　　6.2  内容分析
　　6.3  习题解答
　　第七章  二元关系
　　7.1  基本要求
　　7.2  内容分析
　　7.3  习题解答
　　第八章  函数与集合的势
　　8.1  基本要求
　　8.2  内容分析
　　8.3  题解答
　　第九章  图
　　9.1  基本要求
　　9.2  内容分析
　　9.3  题解答
　　第十章  树
　　10.1  基本要求
　　10.2  勺容分析
　　10.3    题解答
　　第十一章  群与环
　　11.1  基本要求
　　11.2  内容分析
　　11.3  习题解答
　　第十二章  格与布尔代数
　　12.1  基本要求
　　12.2  内容分析
　　12.3  习题解答
　　附录  模拟试卷及解答
　　模拟试卷一
　　模拟试卷二
　　模拟试卷一解答
　　模拟试卷二解答
　　参考文献

　　本书对离散数学各章节知识的要点和难点，对解题的方法和技巧作了全面的分析。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章内容。
　　本书表达严谨，推理缜密，提供了大量习题及其分析与解答。本书可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。