《计算理论导引》电子书下载

计算理论导引txt，chm，pdf，epub，mobi下载
作者: [美]Michael Sipser
出版社: 机械工业出版社
副标题: 第2版
原作名: Introduction to the Theory of Computation
译者: 唐常杰 / 陈鹏 / 向勇 / 刘齐宏
出版年: 2006-7
页数: 269
定价: 36.00元
丛书: 计算机科学丛书
ISBN: 9787111190288

内容简介 · · · · · ·

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

全书叙述由浅入深、详略得当，重点突出，不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材，也可作为相关专业教师和研究人员的参考书。

目录 · · · · · ·

出版者的话
专家指导委员会
译者序
译者简介
第1版前言
第2版前言
· · · · · · ()
出版者的话
专家指导委员会
译者序
译者简介
第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 图灵可归约性
……
· · · · · · ()

下载地址

发布者：老衲特别冲动

文件说明：zip / 解压密码:yiquhai.com

迅雷下载：您需要先登录后，才能查看

网盘下载：您需要先登录后，才能查看

关于内容：内容自于互联网，如果发现有违规内容请联系管理员删除！