第二课堂网LOGO_提供大学课程自学视频教程

第二课堂网 手机站扫一扫
查看: 6681|回复: 3

北大理论计算机理论导引视频教程 70讲 刘田主讲

[复制链接]

1万

主题

1万

帖子

7万

积分

管理员

第二课堂网站长

Rank: 9Rank: 9Rank: 9

活跃会员热心会员推广达人灌水之王突出贡献荣誉管理

发表于 2017-1-8 17:24:09 | 显示全部楼层 |阅读模式
QQ截图20170108172018.png

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

课程目录:

出版者的话
专家指导委员会
译者序
译者简介
第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 人购买  本主题需向作者支付 20 学习币 才能浏览
热门主题

.........................................................................................................................
下载说明
◎本站资源均可免费下载(由第二课堂网精心整理),您可以通过每天登陆获取学习币。如何获取学习币?
◎如果个别的资料下载链接失效或者有问题,您可以点击资源链接失效帖进行留言反馈给我们,我们会第一时间进行更正处理,谢谢!
◎如果您下载的视频教程是为非常规的格式,您不会使用,请点击网络视频使用教程!
◎本站所有资源全部从互联网搜集或网友上传,本站不拥有资源的版权资源仅供大家学习参考,请在下载后24小时内删除。如果侵犯您的权益请您及时联系我们。





上一篇:国防科技大学计算机体系结构 43讲 姜晶菲主讲
下一篇:中科院自然语言理解视频教程 64讲 宗成庆主讲
回复

使用道具 举报

0

主题

5

帖子

33

积分

新手上路

Rank: 1

发表于 2017-2-16 20:36:20 | 显示全部楼层
之前上课没听明白,看看视频学习学习
回复 支持 反对

使用道具 举报

0

主题

13

帖子

3

积分

体验VIP1

Rank: 3Rank: 3

发表于 2017-2-27 21:20:28 | 显示全部楼层
我只是路过打酱油的。
回复 支持 反对

使用道具 举报

0

主题

14

帖子

1949

积分

VIP-1青铜会员

Rank: 5Rank: 5

发表于 2018-10-17 08:06:18 | 显示全部楼层
期待已久,非常感谢!强烈支持楼主ing……
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

快速回复 返回顶部 返回列表