计算理论导引txt,chm,pdf,epub,mobi下载 作者:[美]Michael Sipser 出版社: 机械工业出版社 副标题: 第1版 原作名: Introduction to the Theory of Computation 译者:张立昂/王捍贫/黄雄 出版年: 2000-2 页数: 273 定价: 30.00元 装帧: 平装 丛书: 计算机科学丛书 ISBN: 9787111075745 内容简介 · · · · · ·本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角,综合地描述了计算机科学理论,并以清新的笔触、生动的语言给出了宽泛的数学理论,而并非拘泥于某些低层次的技术细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。同样,对于算法描述,均以直观的文字,而非伪代码给出,从而将注意力集中于算法本身,而不是某些模型。本书的内容包括三个部分:自动机与语言、可计算性理论和 目录 · · · · · ·译者序前言 第1章 导引 1.1 自动机、可计算性与复杂性 · · · · · ·() 译者序 前言 第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 · · · · · · () |
打通了界限
新书,看看后追评
以前就看过的书
实在太喜欢了