杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算理论导引:英文版/Michael Sipser

版本说明:

影印版

出版发行项:

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

ISBN及定价:

978-7-111-60205-7/CNY89.00

载体形态项:

xviii, 458页:图;24cm

并列正题名:

Introduction to the theory of computatione英文版

丛编项:

经典原版书库

个人责任者:

西普塞 (Sipser, Michael) 著

学科主题:

电子计算机-算法理论-英文

中图法分类号:

TP301.6

版本附注:

据原书第3版影印

出版发行附注:

本书影印版由圣智学习出版公司授权机械工业出版社独家出版发行

责任者附注:

迈克尔·西普塞 (Michael Sipser)，男，美国麻省理工学院数学系教授，计算机科学和人工智能实验室成员。2014年起任理学院院长。

书目附注:

有书目 (第443-447页) 和索引

提要文摘附注:

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

使用对象附注:

本书可作为计算机专业高年级本科生和研究生的教材，也可作为研究人员的参考书。

豆瓣简介：