计算理论导引第三版

计算理论导引 pdf是一本专为想要学习计算机的朋友准备的入门教程，以独特的视角，综合地描述了计算机科学理论，并以清新的笔触，生动的语言给出了宽泛的数学原理，非常适合入门学习，喜欢可以免费下载！

计算理论导引 pdf简介

《计算理论导引》本书系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。作者以清闲的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。

计算理论导引第三版目录节选

前言

第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 图

1.2.5 字符串和语言

1.2.6 布尔逻辑.

1.2.7 数学名词汇总

1.3 定义、定理和证明

1.4 证明的类型

1.4.1 构造性证明