未读消息消息

店铺

我的订单收藏商品

拍卖

拍卖交易我的竞拍收藏拍品

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 08:00-21:00

纠纷处理

09:00-12:30

13:30-18:00

图书审核 09:00-18:00

监督与建议

请选择

手机孔网

计算理论导引：第2版

计算理论导引：第2版

分享

作者: [美] 西普塞著 , 唐常杰译

出版社: 机械工业出版社

出版时间: 2006-07

版次: 2

ISBN: 9787111190288

定价: 36.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 269页

原版书名: Introduction to the Theory of Computation

丛书: 计算机科学丛书

分类: 计算机与互联网

115人买过

　　《计算理论导引》（第2版）是计算理论领域的经典著作，被国外多所大学选用用为教材。本书以注重思路、深入引导为特色，系统地介绍计算机理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答，更加有利于教学。 Michael Sipser：麻省理工学院应用数学系教授，计算机科学和人工智能实验室（CSAIL）成员。他从事理论计算机科学与其他数学课程的教学工作25年，目前为数学系主任。他痴迷于复杂性理论，喜欢复杂性理论的教学工作。出版者的话

专家指导委员会

译者序

译者简介

第1版前言

第2版前言

第0章绪论

0.1自动机、可计算性与复杂性

0.2数学概念和术语

0.3定义、定理和证明

0.4证明的类型

练习

问题

习题选解

第一部分自动机与语言

第1章正则语言

1.1有穷自动机

1.2非确定性

1.3正则表达式

1.4非正则语言

练习

问题

习题选解

第2章上下文无关文法

2.1上下文无关文法概述

2.2下推自动机

2.3非上下文无关语言

练习

问题

习题选解

第二部分可计算性理论

第3章丘奇-图灵论题

3.1图灵机

3.2图灵机的变形

3.3算法的定义

练习

问题

习题选解

第4章可判定性

4.1可判定性

4.2停机问题

练习

问题

习题选解

第5章可归约性

5.1语言理论中的不可判定问题

5.2一个简单的不可判定问题

5.3映射可归约性

练习

问题

习题选解

第6章可计算性理论的高级专题

6.1递归定理

6.2逻辑理论的可判定性

6.3图灵可归约性

……

第三部分复杂性理论

第7章时间复杂性

第8章空间复杂性

第9章难解性

第10章复杂性理论高级专题

参考文献

索引
内容简介:
　　《计算理论导引》（第2版）是计算理论领域的经典著作，被国外多所大学选用用为教材。本书以注重思路、深入引导为特色，系统地介绍计算机理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答，更加有利于教学。
作者简介:
Michael Sipser：麻省理工学院应用数学系教授，计算机科学和人工智能实验室（CSAIL）成员。他从事理论计算机科学与其他数学课程的教学工作25年，目前为数学系主任。他痴迷于复杂性理论，喜欢复杂性理论的教学工作。
目录:
出版者的话

专家指导委员会

译者序

译者简介

第1版前言

第2版前言

第0章绪论

0.1自动机、可计算性与复杂性

0.2数学概念和术语

0.3定义、定理和证明

0.4证明的类型

练习

问题

习题选解

第一部分自动机与语言

第1章正则语言

1.1有穷自动机

1.2非确定性

1.3正则表达式

1.4非正则语言

练习

问题

习题选解

第2章上下文无关文法

2.1上下文无关文法概述

2.2下推自动机

2.3非上下文无关语言

练习

问题

习题选解

第二部分可计算性理论

第3章丘奇-图灵论题

3.1图灵机

3.2图灵机的变形

3.3算法的定义

练习

问题

习题选解

第4章可判定性

4.1可判定性

4.2停机问题

练习

问题

习题选解

第5章可归约性

5.1语言理论中的不可判定问题

5.2一个简单的不可判定问题

5.3映射可归约性

练习

问题

习题选解

第6章可计算性理论的高级专题

6.1递归定理

6.2逻辑理论的可判定性

6.3图灵可归约性

……

第三部分复杂性理论

第7章时间复杂性

第8章空间复杂性

第9章难解性

第10章复杂性理论高级专题

参考文献

索引

查看详情

其他版本 / 全部 (5)

3

计算理论导引：第2版

八五品

文熙书院

河北省廊坊市

24小时内发货成功完成率96.29%

￥8.00

券

100减20

立即购买加入购物车
6

计算理论导引：第2版正版书，内页完好无损。

九品

成华区蜀雅轩书店

四川省成都市

平均发货13小时成功完成率93.33%

￥10.00

券

100减20

立即购买加入购物车
8

计算理论导引：第2版

八五品

湘潇书屋

湖南省岳阳市

平均发货7小时成功完成率97.39%

￥10.90

券

100减20

立即购买加入购物车
6

计算理论导引：第2版包正版页面干净现货实物图.，

八五品

北京梦想书店

北京市昌平区

平均发货13小时成功完成率95.35%

￥15.00

券

100减20

立即购买加入购物车
5

计算理论导引：第2版包正版页面干净现货实物图.

八五品

北京梦想书店

北京市昌平区

平均发货13小时成功完成率95.35%

￥15.00

券

100减20

立即购买加入购物车
4

计算理论导引：第2版

八五品

江城凯文书店

湖北省武汉市

平均发货5小时成功完成率95.54%

￥30.00

券

100减20

立即购买加入购物车
2

计算理论导引：第2版

八五品

国风书韵

安徽省合肥市

平均发货4小时成功完成率95.16%

￥20.00

券

100减20

立即购买加入购物车
计算理论导引：第2版

八五品

西湖区有录书店

江西省南昌市

平均发货7小时成功完成率91.69%

￥21.50

券

100减20

立即购买加入购物车
计算理论导引：第2版

九品

皖新登华书店

平均发货14小时成功完成率74.47%

￥38.00

券

100减20

立即购买加入购物车
6

计算理论导引：第2版内页干净品如图

八五品

予墨书屋

四川省绵阳市

24小时内发货成功完成率96.05%

￥12.00

券

100减20

立即购买加入购物车
2

计算理论导引

九五品

荔枝书社

山东省枣庄市

平均发货14小时成功完成率81.27%

￥16.07

券

100减20

立即购买加入购物车不属于本条目
2

计算理论导引

九五品

慕风书店

上海市徐汇区

平均发货14小时成功完成率80.62%

￥15.25

券

100减20

立即购买加入购物车不属于本条目
3

计算理论导引：第2版馆藏无笔迹

八五品

默明书店

广东省深圳市

平均发货8小时成功完成率96.24%

￥10.00

券

100减20

立即购买加入购物车