v

您的位置:VeryCD图书计算机与网络

图书资源事务区


《计算理论导引(第2版)》扫描版[PDF]

  • 状态: 精华资源
  • 摘要:
    图书分类网络
    出版社机械工业出版社
    发行时间2006年07月01日
    语言简体中文
  • 时间: 2013/05/16 02:42:15 发布 | 2013/05/16 02:48:49 更新
  • 分类: 图书  计算机与网络 

sydneyverycd

精华资源: 355

全部资源: 368

相关: 分享到新浪微博   转播到腾讯微博   分享到开心网   分享到人人   分享到QQ空间   订阅本资源RSS更新   美味书签  subtitle
该内容尚未提供权利证明,无法提供下载。
中文名计算理论导引(第2版)
译者唐常杰
图书分类网络
资源格式PDF
版本扫描版
出版社机械工业出版社
书号9787111190288
发行时间2006年07月01日
地区大陆
语言简体中文
简介

IPB Image

内容简介:

  《计算理论导引》(第2版)是计算理论领域的经典著作,被国外多所大学选用用为教材。本书以注重思路、深入引导为特色,系统地介绍计算机理论的三大主要内容:自动机与语言、可计算性理论和计算复杂性理论。同时,对可计算性和计算复杂理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答,更加有利于教学。



说明:eMule已开启反吸血;迅雷、旋风、白光盘等级童鞋可通过用户评论处一楼附的快速下载通道下载。

内容截图:

IPB Image



目录

出版者的话
专家指导委员会
译者序
译者简介
第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章 复杂性理论高级专题
参考文献
索引

正在读取……

这里是其它用户补充的资源(我也要补充):

暂无补充资源
正在加载,请稍等...

点击查看所有170网友评论

 

(?) [公告]留口水、评论相关规则 | [活动]每日签到 轻松领取电驴经验

    小贴士:
  1. 类似“顶”、“沙发”之类没有营养的文字,对勤劳贡献的楼主来说是令人沮丧的反馈信息。
  2. 提问之前请再仔细看一遍楼主的说明,或许是您遗漏了。
  3. 勿催片。请相信驴友们对分享是富有激情的,如果确有更新版本,您一定能搜索到。
  4. 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦,又没人会搭理,于人于己都无利。
  5. 如果您发现自己的评论不见了,请参考以上4条。