西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算理论导引/(美) 迈克尔·西普塞(Michael Sipser)著 段磊, 唐常杰等译

出版发行项:

北京:机械工业出版社,2015

ISBN及定价:

978-7-111-49971-8/CNY69.00

载体形态项:

XVI, 296页:图;26cm

并列正题名:

Introduction to the theory of computation

丛编项:

计算机科学丛书

个人责任者:

(美) 西普塞 (Sipser, Michael) 著

个人次要责任者:

段磊 译

个人次要责任者:

唐常杰 译

学科主题:

计算技术-理论

中图法分类号:

TP301

版本附注:

据原书第3版译出

出版发行附注:

由圣智学习出版公司授权出版

书目附注:

有书目 (第280-283页) 和索引

提要文摘附注:

本书由计算理论领域的知名权威MichaelSipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。

豆瓣简介：