离散数学是现代数学的重要分支，是计算机科学理论的基础。 本书内容包括四部分：*部分为数理逻辑，包括第1章命题逻辑、第2章谓词逻辑；第二部分为集合论，包括第3章集合、第4章二元关系和函数；第三部分为图论，包括第5章图简介、第6章特殊的图、第7章树；第四部分为代数系统，包括第8章代数系统简介、第9章几个典型的代数系统。 本书适合作为普通高等院校计算机类专业的教材，也可供计算机软件从业人员学习与参考。