可计算性与计算复杂性导引（第3版）
图书信息
书名：可计算性与计算复杂性导引（第3版）作者：张立昴
包装：平装
开本：16
页数：256页
出版社：北京大学出版社
出版时间：2011-8
图书简介
《可计算性与计算复杂性导引（第3版）》是一本涵盖计算理论的教材和参考书，旨在引导读者了解可计算性、形式语言与自动机、计算复杂性等三个方面的信息。该书的主要内容包括多种计算模型及其等价性、函数、谓词和语言的可计算性等基本概念、形式语言及其对应的自动机模型、时间和空间复杂度、np完全性等。该书全面深入地介绍了计算理论的核心部分，对于计算机专业本科生和研究生来说是一正宗权威的教材，也可供从事计算机科学技术的研究和开发人员参考，同时也是对计算理论感兴趣的读者的首选读物。
推荐理由
该书是计算理论领域的标志性参考书。通过介绍可计算性、形式语言与自动机、计算复杂性等三个方面的基本概念，该书全面深入地阐述了计算理论的核心内容。同时，本书的难度对于计算机专业本科生和研究生来说是刚好的，读者可以不需要太多的预备知识，轻松理解书中所讲的内容。本书对于从事计算机科学技术的研究和开发人员来说也是不可错过的参考书，其深入而细致的阐述将帮助其更好地应用理论到实践中。最重要的是，对于那些对计算理论感兴趣却找不到入门读物的读者，本书也是不二之选。因此，如果你想通过阅读一本书来全面了解计算理论，那么《可计算性与计算复杂性导引（第3版）》是一个必备选择。