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