图书介绍：离散数学是计算机科学的理论基础，是计算机专业的核心课程，对于培养学生的逻辑思维能力，尤其是计算思维能力起着至关重要的作用。相比于传统类型的离散数学教程，本书的最大特点是将计算思维融入到全书的各个章节中，力图使读者不仅理解和掌握这门课程的基本概念和基本原理，而且通过对全书的学习，能够掌握怎样通过计算思维分析和解决实际的应用问题。本书系统地介绍了离散数学四大部分的内容：集合论、抽象代数、图论和数理逻辑。全书共分为9章，主要包括集合、关系、函数；代数系统、群论、格和布尔代数；图论；命题逻辑、谓词逻辑。内容的安排上具有内在的逻辑联系，并在每一章都给出了通过计算思维来分析和解决实际应用问题的经典实例，以便于学生更好地理解和掌握这一分析问题和解决问题的方法。本书可以作为高等院校计算机科学、智能科学、信息安全等相关专业的本科生教程，也可以作为从事计算机科学及相关专业领域的从业人员的计算机专业理论参考书。