欢迎来到相识电子书！
章节目录
译者序 前言 第1章 导引 1.1 自动机、可计算性与复杂性 1.1.1 计算复杂性理论 1.1.2 可计算性理论 1.1.3 自动机理论 1.2 数学概念和术语 1.2.1 集合 1.2.2 序列和多元组 1.2.3 函数和关系 1.2.4
内容简介
本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触、生动的语言给出了宽泛的数学理论，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。同样，对于算法描述，均以直观的文字，而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。本书的内容包括三个部分：自动机与语言、可计算性理论和
下载说明
1、计算理论导引是作者[美]Michael Sipser创作的原创作品，下载链接均为网友上传的网盘链接！
2、相识电子书提供优质免费的txt、pdf等下载链接，所有电子书均为完整版！