离散数学[电子资源.图书]
作者: 杜忠复,陈兆均主编
出版社:高等教育出版社,2004
简介:本书是教育部教育科学“十五”国家规划课题研究成果,是本书作者在多年教授离散数学所获得的经验基础上编写的,其目的是为学生提供准确而可读的教材,使离散数学的概念和技术得以清晰地介绍和演示。离散数学作为计算机科学基础理论的核心课程,其使用面积较广。本书主要介绍数理逻辑和集合论,并从集合论入手,依次介绍关系、代数、系统、图论和数理逻辑。回避先从数理逻辑开始,用逻辑联结词来处理内容。通过学习本书,学生能够达到以下目标:(1)对数理逻辑与集合论的基本概念有较深入全面的了解;(2)系统地掌握命题演算、谓词演算及