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