当前位置:首页 > 电子书籍 > 软件工程 > 软件概论 > 正文
更多
网友评论 下载帮助 收藏该页
软件类型:国外书籍 软件分类:软件概论 授权方式:免费版 界面语言:英文 软件大小:1036KB 运行环境:Win9x,NT,2000,XP,2003 软件等级:★★★☆☆ 发布时间:2010-12-28 下载次数:
顶一下
(0)
0%
踩一下
(0)
0%
Models of Computation An Introduction to Computability Theory电子书籍介绍
Models of Computation An Introduction to Computability Theory
This book provides an introduction to computability using a series of abstract
models of computation.
After giving the historical context and the original challenges that motivated
the development of computability theory in the 1930s, we start reviewing the
traditional models of computation: Turing machines, Church’s Lambda calculus
(or λ-calculus), and the theory of recursive functions of G¨odel and Kleene.
These three models of computation are equivalent in the sense that any computation
procedure that can be expressed in one of them can also be expressed in
the others. Indeed, Church’s Thesis states that the set of computable functions
is exactly the set of functions that can be defined in these models.
TAG标签:
下载地址 [第一次来风信网的朋友请查看下载帮助:进入下载帮助]

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

------分隔线----------------------------
Models of Computation An Introduction to Computability Theory的网友评论