当前位置:首页 > 电子书籍 > 软件工程 > 软件概论 > 正文
更多
网友评论 下载帮助 收藏该页
软件类型:国外书籍 软件分类:软件概论 授权方式:免费版 界面语言:英文 软件大小:844KB 运行环境:Win9x,NT,2000,XP,2003 软件等级:★★★☆☆ 发布时间:2010-12-28 下载次数:
顶一下
(0)
0%
踩一下
(0)
0%
Lecture Notes for CS 2110 Introduction to Theory of Computation电子书籍介绍
Lecture Notes for CS 2110 Introduction to Theory of Computation
Goal
To learn the fundamental properties and limitations of computability (i.e., the ability to solve
problems by computational means)
Major Milestones
Invariance
in formal descriptions of computable functions -- Church's Thesis
Undecidability
by computer programs of any dynamic (i.e., behavioral) properties of computer programs
based on their text
TAG标签:
下载地址 [第一次来风信网的朋友请查看下载帮助:进入下载帮助]

☉推荐使用第三方专业下载工具迅雷网际快车下载本站软件,使用 WinRAR v3.50 以上版本解压本站软件。
☉如果这个软件总是不能下载的请点击报告错误,谢谢合作!!
☉下载本站资源,如果服务器暂不能下载请过一段时间重试!
☉如果遇到什么问题,请登陆风信社区去咨寻,我们将在那里提供更多 、更好的服务!
☉本站提供的一些商业软件是供学习研究之用,如用于商业用途,请购买正版。

------分隔线----------------------------
Lecture Notes for CS 2110 Introduction to Theory of Computation的网友评论