[可计算性与计算复杂性导引]张立昂

【可计算性与计算复杂性导引】张立昂.pdf可计算性与计算复杂性导引 张立昂编著 北京 高等教育计算机专业教材本书是学习理论计算机科学基础的教材和参考书,内容包括三部分:可计算性、形 式语言与自动机、计算复杂性,主要介绍几种计算模型及它们的等价性,函数、谓词和 语言的可计算性等基本概念,形式语言及其对应的自动机模型,时间和空间复杂性,NP 本书可作为计算机专业本科生和研究生的教材,也可作为从事计算机科学技术的 研究和开发人员的参考书,还可作为对理论计算机科学感兴趣的读者的入门教材.完全性等。目录 第一章宏指令 原始递归函数 原始递归函数 原始递归谓词 选代运算、有界量词和极小化 配对函数和Godel数 原始递归运算 Ackermann函数 通用程序 程序的代码 停机问题 通用程序 参数定理 递归定理 题.字符串计算 4.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。