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