可计算性与计算复杂性导引-第3版

内容简介

[

　　《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性．主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，np完全性等．

　　《可计算性与计算复杂性导引(第3版)》可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对计算理论感兴趣的读者的入门读物．

]

目录

**章 程序设计语言 和可计算函数
　1.1 预备知识
　1.2 church-turing论题
　1.3 程序设计语言
　1.4 可计算函数
　1.5 宏指令
　习题
第二章 原始递归函数
　2.1 原始递归函数
　2.2 原始递归谓词
　2.3 迭代运算、有界量词和极小化
　2.4 配对函数和godel数
　2.5 原始递归运算
　2.6 ackermann函数
　2.7 字函数的可计算性

封面

书名:可计算性与计算复杂性导引-第3版

作者:张立昴　编著

页数:256

定价:¥35.0

出版社:北京大学出版社

出版日期:2011-08-01

ISBN:9787301177686

PDF电子书大小:68MB 高清扫描完整版