計(jì)算機(jī)科學(xué)的基礎(chǔ)是一本詳細(xì)的介紹了計(jì)算機(jī)的基礎(chǔ)理論，計(jì)算系統(tǒng)的每個(gè)分層都以剖析，從住處層開始，歷經(jīng)硬件層、程序設(shè)計(jì)層、操作系統(tǒng)層、應(yīng)用程序?qū)拥耐ㄐ艑?，最后討論了?jì)算的限制。有助于你進(jìn)一步了解計(jì)算機(jī)科學(xué)。歡迎來綠色資源網(wǎng)下載。

內(nèi)容簡介：

本書全面而詳細(xì)地闡述了計(jì)算機(jī)科學(xué)的理論基礎(chǔ)，從抽象概念的機(jī)械化到各種數(shù)據(jù)模型的建立，用算法、數(shù)據(jù)抽象等核心思想貫穿各個(gè)主題，很好地兼顧了學(xué)科廣度和主題深度，幫助讀者培養(yǎng)計(jì)算機(jī)領(lǐng)域的大局觀，學(xué)習(xí)真正的計(jì)算機(jī)科學(xué)。

本書特色：

1.本書是計(jì)算機(jī)科學(xué)領(lǐng)域的名著 

2.從后臺算法到實(shí)際應(yīng)用，全部例子均為C語言 

3.內(nèi)容全面，講解清晰

計(jì)算機(jī)科學(xué)的基礎(chǔ)目錄：

第 1 章　計(jì)算機(jī)科學(xué)：將抽象機(jī)械化 

第 2 章　迭代、歸納和遞歸 

第 3 章　程序的運(yùn)行時(shí)間 

第 4 章　組合與概率 

第 5 章　樹 

第 6 章　表數(shù)據(jù)模型 

第 7 章　集合數(shù)據(jù)模型 

第 8 章　關(guān)系數(shù)據(jù)模型 

第 9 章　圖數(shù)據(jù)模型 

第 10 章　模式、自動機(jī)和正則表達(dá)式 

第 11 章　模式的遞歸描述 

第 12 章　命題邏輯 

第 13 章　利用邏輯設(shè)計(jì)計(jì)算機(jī)元件 

第 14 章　謂詞邏輯