目录
译者序
前言
第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、追日是作者栎年创作的原创作品,下载链接均为网友上传的的网盘链接!
2、相识电子书提供优质免费的txt、pdf等下载链接,所有电子书均为完整版!
下载链接