计算理论导引
黄雄 / Michael Sipser / 张立昂 / 王捍贫 / 机械工业出版社 / 2000-2
试读 / 购买 打开App查看
简介

本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角,综合地描述了计算机科学理论,并以清新的笔触、生动的语言给出了宽泛的数学理论,而并非拘泥于某些低层次的技术细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。同样,对于算法描述,均以直观的文字,而非伪代码给出,从而将注意力集中于算法本身,而不是某些模型。本书的内容包括三个部分:自动机与语言、可计算性理论和

讨论
喜欢这本书的人也喜欢 打开App查看更多
  • 计算理论基础
  • 面向计算机科学的数理逻辑系统建模与推理
  • 计算理论导引
  • 编译原理及实践