具体描述
本书是学习理论计算机科学基础的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。
本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对理论计算机科学感兴趣的读者的入门教材。
作者简介
目录信息
第一章 程序设计语言和可计算函数
1.1 预备知识
1.2 程序设计语言
1.3 可计算函数
1.4 宏指令
习题
第二章 原始递归函数
2.1 原始递归函数
2.2 原始递归谓词
2.3 迭代运算、有界量词和极小化
2.4 配对函数和Godel数
2.5 原始递归运算
2.6
· · · · · · (收起)
1.1 预备知识
1.2 程序设计语言
1.3 可计算函数
1.4 宏指令
习题
第二章 原始递归函数
2.1 原始递归函数
2.2 原始递归谓词
2.3 迭代运算、有界量词和极小化
2.4 配对函数和Godel数
2.5 原始递归运算
2.6
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有