離散數(shù)學(xué)是計算機科學(xué)的理論基礎(chǔ)，是計算機專業(yè)的核心課程，對于培養(yǎng)學(xué)生的邏輯思維能力，尤其是計算思維能力起著至關(guān)重要的作用。相比于傳統(tǒng)類型的離散數(shù)學(xué)教程，本書的最大特點是將計算思維融入到全書的各個章節(jié)中，力圖使讀者不僅理解和掌握這門課程的基本概念和基本原理，而且通過對全書的學(xué)習(xí)，能夠掌握怎樣通過計算思維分析和解決實際的應(yīng)用問題。本書系統(tǒng)地介紹了離散數(shù)學(xué)四大部分的內(nèi)容：集合論、抽象代數(shù)、圖論和數(shù)理邏輯。全書共分為9章，主要包括集合、關(guān)系、函數(shù)；代數(shù)系統(tǒng)、群論、格和布爾代數(shù)；圖論；命題邏輯、謂詞邏輯。內(nèi)容的安排上具有內(nèi)在的邏輯聯(lián)系，并在每一章都給出了通過計算思維來分析和解決實際應(yīng)用問題的經(jīng)典實例，以便于學(xué)生更好地理解和掌握這一分析問題和解決問題的方法。