计算理论导引(英文版·第3版) 电子书下载 PDF下载

计算理论导引(英文版·第3版)
内容简介
本书由计算理论领域的学者MichaelSipser所撰写。他以独特的视角,系统地介绍了计算理论的三大主要内容:自动机与语言,可计算性理论,计算复杂性理论。全书以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材,也可作为研究人员的参考书。
Copyright © 2024 by topbester.com.
All Rights Reserved.
沪ICP备14027842号-1