《离散数学》作为计算机科学与技术专业的基础课程越来越受到人们的重视，为了帮助读者更好地学好这门课程，掌握更多知识，我们根据多年的教学经验编写了这本《离散数学同步辅导及习题全解》，旨在使广大读者理解基本概念，掌握基本知识，学会基本解题方法与解题技巧，提高应试能力。

该书从该课程的知识体系出发，对各个章节在全书中的位置以及其他章节的联系作了简明扼要的阐述，使学习有重点；每章的知识网络图系统全面的涵盖了本章的知识点，使学生能一目了然地浏览本章内容框架结构，全面把握教材的理论体系；教材中课后习题丰富、层次多样，许多基础性问题从多个角度帮助学生理解基本概念和基本理论，促其掌握基本解题方法。我们对教材课后的全部习题给了详细的解答。

全书具有较强的针对性、启发性、指导性和补充性，可供各大专院校作为教材使用，也可供从事相关工作的人员作为参考用书使用。

本书是与上海科学技术文献出版社1982版《离散数学》一书配套的同步辅导和习题解答辅导书。

本书按教材内容安排全书结构，各章均包括学习要求、知识网络图与课后习题全解三部分内容。全书按教材内容，针对各章节全部习题给出详细解答，思路清晰，逻辑性强，循序渐进地帮助读者分析并解决问题，内容详尽，简明易懂。

本书可作为高等院校本科生离散数学课程本科生的辅导材料和复习参考用书，也可作为自学者学习的辅导书，及教师的教学参考书。

前言

第一篇 数理逻辑

第一章 命题逻辑

 学习要求

 知识网络图

 课后习题全解

第二章 谓词逻辑

 学习要求

 知识网络图

 课后习题全解

第二篇 集合论

第三章 集合与关系

 学习要求

 知识网络图

 课后习题全解

第四章 函数

 学习要求

 知识网络图

 课后习题全解

第三篇 代数系统

第五章 代数结构

 学习要求

 知识网络图

 课后习题全解

第六章 格和布尔代数

 学习要求

 知识网络图

 课后习题全解

第四篇 图论

第七章 图论

 学习要求

 知识网络图

 课后习题全解

第五篇 计算机科学中的应用

第八章 形式语言与自动机

 学习要求

 知识网络图

 课后习题全解

第九章 纠错码初步

 学习要求

 知识网络图

 课后习题全解