本書由計算機理論領域的知名權威Michaael Sipser所撰寫。他以獨特的視角，係統地介紹瞭計算機理論的三個主要內容：自動機與語言、可計算性理論和計算復雜性理論。約大部分內容是基本的，同時對可計算性和計算復雜性理論中的某些高級內容進行瞭重點介紹。作者以清新的筆觸、生動的語言給齣瞭寬泛的數學原理，而沒有拘泥於某些低層次的細節。在證明之前，均有“證明思路”，幫助讀者理解數學形式下涵的概念。同樣，對於算法描述，均以直觀的文字而非僞代碼給齣，從而將注意力集中於算法本身，而不是某些模型。新版根據多年來使用本書的教師和學生的建議進行瞭改進，並對課堂測試題進行瞭全麵的更新，每章末均有樣例解答。
本書可作為計算機專業高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。
具體描述
讀後感
让人了解计算机的本质，它的能力与它的局限性。 计算理论课的教材，上课上的很累，但很有收获。我觉得没读过这本书的不好意思说自己是Computer Science专业毕业的。
評分事知其然而后知其所以然。 现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。 总之，是一本好的数学书。
評分 評分让人了解计算机的本质，它的能力与它的局限性。 计算理论课的教材，上课上的很累，但很有收获。我觉得没读过这本书的不好意思说自己是Computer Science专业毕业的。
用戶評價
入門經典
评分excellent
评分Problem挺難的
评分入門經典
评分銷魂到死...
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有