计算理论导引 pdf epub mobi txt 电子书 下载 2025
☆☆☆☆☆
简体网页||
繁体网页
[美]Michael Sipser
机械工业出版社
唐常杰
2006-7
269
36.00元
计算机科学丛书
9787111190288
图书标签:
计算理论
计算机科学
计算机
数学
计算复杂性
自动机
算法
CS
喜欢 计算理论导引 的读者还喜欢
下载链接在页面底部
下载链接1
下载链接2
下载链接3
立刻按 ctrl+D收藏本页
你会得到大惊喜!!
发表于2025-03-06
计算理论导引 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025
计算理论导引 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025
计算理论导引 pdf epub mobi txt 电子书 下载 2025
图书描述
本书是计算理论领域的经典著作,被国外多所大学选用为教材。本书以注重思路、深入引导为特色,系统地介绍计算理论的三大主要内容:自动机与语言、可计算性理论和计算复杂性理论。同时,对可计算性和计算复杂性理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答,更加有利于教学。
全书叙述由浅入深、详略得当,重点突出,不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材,也可作为相关专业教师和研究人员的参考书。
计算理论导引 下载 mobi epub pdf txt 电子书
著者简介
图书目录
出版者的话
专家指导委员会
译者序
译者简介
第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 图灵可归约性
……
· · · · · · (
收起)
计算理论导引 pdf epub mobi txt 电子书 下载
用户评价
评分
☆☆☆☆☆
算读的比较认真的教材了...后面章节读起来还是比较困难
评分
☆☆☆☆☆
终于考完试了...
评分
☆☆☆☆☆
写的非常好,非常好。能让人学明白的书。
评分
☆☆☆☆☆
只看了自动机,比各种课本讲的都好懂,结构很清晰。可计算性待补。
评分
☆☆☆☆☆
好书,需要深入思考
读后感
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
事知其然而后知其所以然。 现代计算机体系的构建,图灵机的数学模型的实现,正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了,只是记得不断的证明,一步步的证明,充满了智慧的光芒。 总之,是一本好的数学书。
评分
☆☆☆☆☆
评分
☆☆☆☆☆
我觉得作者很可爱,他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说,看了第一章,就应当一成的收获。计算机中重要的数学概念被解构的如此清楚,非常的难得。 另外,要说一下,翻译的问题。翻译的很不错(话说本来英文版就很上口),但是却是看原版会...
类似图书 点击查看全场最低价
计算理论导引 pdf epub mobi txt 电子书 下载 2025