本書論述了計(jì)算機(jī)科學(xué)中的基本概念、思想、方法和結(jié)果。全書內(nèi)容由五部分組成�；�礎(chǔ)部分包括算法學(xué)問(wèn)題中的基本概念，算法的結(jié)構(gòu)、算法操縱的數(shù)據(jù)以及描述算法所用的程序設(shè)計(jì)語(yǔ)言。方法和分析部分包括算法設(shè)計(jì)的方法，算法的正確性和效率，評(píng)價(jià)算法的方法。算法的局限性和健壯性部分包括有效可執(zhí)行算法的固有局限性以及實(shí)現(xiàn)這些算法的計(jì)算機(jī)的固有局限性，不可計(jì)算性和不可判定性，算法學(xué)的通用性及其健壯性。此外還討論了并發(fā)模型、并行模型，以及密碼學(xué)中的一些根本性的問(wèn)題。介紹了反應(yīng)式系統(tǒng)和分布式系統(tǒng)，計(jì)算機(jī)與人的智能（human intelligence）的關(guān)系。 這是一本從全新的視角，系統(tǒng)地闡述計(jì)算機(jī)科學(xué)中的根本問(wèn)題的書籍。通過(guò)形象的比喻描述算法和計(jì)算理論中的一些挑戰(zhàn)性的問(wèn)題。書中力圖用少的數(shù)學(xué)語(yǔ)言闡述算法和數(shù)據(jù)結(jié)構(gòu)、圖靈機(jī)，有限自動(dòng)機(jī)，不可判定性，不可計(jì)算性，復(fù)雜性，NP完全性，并行算法，概率算法等概念，同時(shí)又不失嚴(yán)謹(jǐn)性。這本書非常成功地做到了這一點(diǎn)。使一般讀者易于理解和掌握。 本書適合作為高等院校計(jì)算機(jī)專業(yè)本科生和研究生算法學(xué)課程的教材，也可作為從事軟件開發(fā)、系統(tǒng)分析、系統(tǒng)設(shè)計(jì)的專業(yè)人員的參考書。此外，算法和計(jì)算理論的愛好者和參加各種程序大賽的選手也可把本書作為參考用書。