本書主要論述計算機科學的基本概念、思想、方法和結果。全書內容由 5個部分組成?!邦A備知識”部分包括算法學中的基本概念、算法結構、算法所操縱的數據以及描述算法所用的程序設計語言?!胺椒ê头治觥辈糠职ㄋ惴ㄔO計的方法、算法的正確性和效率、評價算法的方法?!熬窒扌院徒研浴辈糠职蓤?zhí)行算法的固有局限性以及實現這些算法的計算機的固有局限性、不可計算性和不可判定性、算法學的通用性及其健壯性。此外,還討論了并發(fā)模型、并行模型以及密碼學中的一些根本性的問題,并且介紹了反應式系統(tǒng)和分布式系統(tǒng)以及計算機與人工智能(human intelligence)之間的關系。這是唯一一本從全新的視角來系統(tǒng)地闡述計算機科學中根本問題的書籍。通過形象的比喻來描述算法和計算理論中的一些富有挑戰(zhàn)性的問題。本書力圖用最精煉的數學語言闡述算法和數據結構、圖靈機、有限自動機、不可判定性、不可計算性、復雜度、NP完全性、并行算法、概率算法等概念,同時又不失論述的嚴謹性,使一般讀者易于理解和掌握。本書適合作為高等學校計算機專業(yè)本科高年級和研究生“算法學”課程的教材,也可作為從事軟件開發(fā)、系統(tǒng)分析、系統(tǒng)設計等專業(yè)人員的參考書。此外,也可供算法和計算理論的愛好者和參加各種編程大賽的選手參考使用。