书籍 计算理论导引  原书第3版的封面

计算理论导引 原书第3版

(美)迈克尔·西普塞(MichaelSipser)著 段磊 唐常杰等译

出版社

北京:机械工业出版社

出版时间

2015

ISBN

9787111499718

标注页数

298 页

PDF页数

316 页

书籍介绍
本书由计算理论领域的知名权威Michael Sipser所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材,也可作为教师和研究人员的参考书。
在线购买PDF电子书