包邮计算理论导引-(第2版)

作者：唐常杰

出版社：机械工业出版社出版时间：2006-07-01

所属丛书：计算机科学丛书

开本： 16开 页数： 269

本类榜单：计算机/网络销量榜

中图价:¥24.8(6.9折) 定价 ~~¥36.0~~ 登录后可看到会员价

暂时缺货收藏

开年大促， 全场包邮

?新疆、西藏除外

本类五星书更多>

>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

¥14.4¥45
>
决战行测5000题(言语理解与表达)

决战行测5000题(言语理解与表达)

¥44.1¥88
>
软件性能测试.分析与调优实践之路

软件性能测试.分析与调优实践之路

¥56.2¥69
>
第一行代码Android

第一行代码Android

¥55.4¥99
>
JAVA持续交付

JAVA持续交付

¥58.1¥119
>
EXCEL最强教科书(完全版)(全彩印刷)

EXCEL最强教科书(完全版)(全彩印刷)

¥31.1¥69.9
>
深度学习

深度学习

¥92.4¥168

商品详情
商品评论(0条)

中图价:¥24.8 暂时缺货

版权信息
内容简介
目录

计算理论导引-(第2版) 版权信息

ISBN：7111190289
条形码：9787111190288 ; 978-7-111-19028-8
装帧：简裝本
册数：暂无
重量：暂无
所属分类：
计算机/网络
>
计算机理论

计算理论导引-(第2版) 内容简介

本书是计算理论领域的经典著作，被国外多所大学选用用为教材。本书以注重思路、深入引导为特色，系统地介绍计算机理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答，更加有利于教学。
　　全书叙述由浅入深、详略得当，重点突出，不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材，也可作为相关专业教师和研究人员的参考书。

计算理论导引-(第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图灵可归约性
……

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐