资料下载：计算理论导引第三版(电子图书)

计算理论导引第三版

http://www.100md.com 2017年8月7日

第1页

第2页

第5页

第16页

第27页

    参见附件(7214KB，281页)。

    计算理论导引 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 构造性证明

附件资料：

《计算理论导引》.pdf（7213KB）

本页网址：

http://www.100md.com/html/file23/201708/07676.htm