本書介紹了離散數(shù)學(xué)基礎(chǔ)知識和核心理論進行系統(tǒng)，包括典型的包括數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)、圖論和組合數(shù)學(xué)部分內(nèi)容，還介紹了很多計算機科學(xué)文化以及計算機科學(xué)家分享的常識(不包括程序設(shè)計)，許多是計算機科學(xué)家都知道的基礎(chǔ)問題的基本求解方法，如何查找特定目標列表，如何按自然數(shù)序列對列表排序以方便查找，如何生成所有對象、子集或以某種次序排列的序列，如何遍歷圖的所有頂點，特別是，如何比較算法的效率并驗證算法的正確性。但介紹的數(shù)學(xué)知識與計算機科學(xué)相關(guān)。以利用計算機解決問題為主要目標，將理論與實踐結(jié)合起來。