本書重點介紹離散結(jié)構(gòu)的構(gòu)造、性質(zhì)及其相關(guān)推理證明方法，面向計算機的現(xiàn)代數(shù)學(xué)觀點與方法。全書從表達、理論、工程應(yīng)用幾個層面設(shè)計主要內(nèi)容，注重培養(yǎng)學(xué)生的抽象思維能力、邏輯推理能力，注重將數(shù)理邏輯、集合論、組合計數(shù)、抽象代數(shù)以及圖論的發(fā)展歷程中的相關(guān)思想、方法融入有關(guān)問題的探討過程中，引導(dǎo)學(xué)生應(yīng)用有關(guān)離散結(jié)構(gòu)表達計算機科學(xué)相關(guān)理論與工程應(yīng)用問題，理解抽象、理論與設(shè)計計算機科學(xué)的3個學(xué)科形態(tài)。