本书是教育部教育科学“十五”国家规划课题研究成果，是本书作者在多年教授离散数学所获得的经验基础上编写的，其目的是为学生提供准确而可读的教材，使离散数学的概念和技术得以清晰地介绍和演示。离散数学作为计算机科学基础理论的核心课程，其使用面积较广。本书主要介绍数理逻辑和集合论，并从集合论入手，依次介绍关系、代数、系统、图论和数理逻辑。回避先从数理逻辑开始，用逻辑联结词来处理内容。通过学习本书，学生能够达到以下目标：（1）对数理逻辑与集合论的基本概念有较深入全面的了解；（2）系统地掌握命题演算、谓词演算及朴素集合论的经典内容；（3）学会形式化演绎推理和定理证明的基本方法；（4）强化抽象思维能力、逻辑推理能力和缜密概括能力的培养，进而提高分析问题、解决问题的能力；（5）为计算机专业后续课程的学习和科研工作的参与打下坚实的基础。本书的主要特色是适用面广，考虑到教学规律和学生的认知过程，向学生们展示离散数学的实用性。为非数学专业，特别是计算机科学专业的学生提供一切必需的数学基础。并且对数学专业的学生理解离散数学及其应用也是一本不错的参考书。本书可供应用型院校的计算机科学及相关专业的学生使用。
鄂公网安备 42010302001612号 