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