This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
事知其然而后知其所以然。 现代计算机体系的构建,图灵机的数学模型的实现,正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了,只是记得不断的证明,一步步的证明,充满了智慧的光芒。 总之,是一本好的数学书。
評分本书的作者是著名的计算理论方面专家,麻省理工学院应用数学系主任 M. Sipser。全书分为11章,并附有部分习题解答。全书思路清晰,由浅入深,内容详细,是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
評分在所有我看过的计算理论、可计算性、计算复杂度的教材中,Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁,直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction,真是再好不过了。 计算理论...
評分事知其然而后知其所以然。 现代计算机体系的构建,图灵机的数学模型的实现,正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了,只是记得不断的证明,一步步的证明,充满了智慧的光芒。 总之,是一本好的数学书。
比selman那本強太多瞭....
评分這本書相當理論瞭。從圖靈機到語言到time complexity 到space complexity。reduction一路下來。Sipser比較善於畫圖和寫reduction的過程,但是如果要涵蓋全麵的百科全書的話,還是有幾本比它更全麵些的。
评分好書,寫得很清晰
评分入門書~利用window的證明好萌啊
评分UCSD CSE105
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有