题名:计算理论导引
作者:(美)迈克尔·西普塞著
出版年:2015
ISBN: 978-7-111-49971-8
分类号: TP301
中图分类: 理论、方法
译者: 段磊, 唐常杰, 等
定价: CNY 69.00
页数: 296 页
出版社: 机械工业出版社
装订: 平装
作者:(美)迈克尔·西普塞著
出版年:2015
ISBN: 978-7-111-49971-8
分类号: TP301
中图分类: 理论、方法
译者: 段磊, 唐常杰, 等
定价: CNY 69.00
页数: 296 页
出版社: 机械工业出版社
装订: 平装
《计算理论导引（原书第3版）》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。