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