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