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