欢迎来到相识电子书！
内容简介
本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义等主题，并展示了它们之间如何相互关联。. 本书是计算机及相关专业高年级本科生和研究生的理想教学参考书，对于计算机领域的专业人士也是很好的技术参考书。
下载说明
1、计算理论基础是作者Martin Davis,Ron Sig创作的原创作品，下载链接均为网友上传的网盘链接！
2、相识电子书提供优质免费的txt、pdf等下载链接，所有电子书均为完整版！
下载链接
热门评论
-
AmierLth的评论网页链接 狭义理解的认知科学，是说它并不是一个研究领域，而只是一种理论假设（doctrine）。这种理论假设的基础是心智计算理论（computational theory of mind，CTM）——心智/脑是某种类型的计算机。 分享自Kindle
-
PDF计算机电子书的评论我在@微盘 分享了一个很不错的文件："998.计算机科学基础：从数据操纵到计算理论.pdf"，快来看看吧~ 998.计算机科学基...
-
非子也耶的评论”Talk is cheap. Show me the code. “ -- Torvalds, Linus。计算机领域看你牛不牛，要么看你在基础计算理论上有多大贡献，要么看你做出什么撼动行业的软件，其他都是扯淡。
-
我若成风我的评论谁来拯救我的计算理论基础，讲的都是啥玩意啊。。。[泪]
-
MakeChangeContinu的评论考完计算理论基础，估计这辈子要告别编译原理啦！[太开心][太开心]
-
天堂草原天行健的评论图灵社区 : 图书 : 计算理论基础：可计算性、复杂性和语言（英文版•第2版）， （来自@手机百度，点击下载:安卓版） 下载手机百度
-
物联网头条新闻的评论【基于Hadoop，智能家居与云计算关系全解】在云计算理论的基础上针对智能家居中的门禁系统、温湿度系统、滴灌系统和照明系统搭建了基于Hadoop的数据处理平台。可以对大量传感信息进行分布式并行处理，并根据处理结果向底层设备发送指令以实现智慧化服务。 网页链接
-
bug904的评论第一个报告，大数据的计算理论基础，研究大数据的可计算性，这问题有必要讨论吗
-
大数据资讯的评论【安全大数据的7个V——大数据基础问题与信息安全的交叉探究】如果我们把大数据这个词作为一种新的计算理论、方法、技术和应用的综合体来看，那么我们探讨大数据与信息安全之间的关系，就有两种方向：其一，就是如何用大数据来解决安全问题;其二，就是如何保障大数据的安全网页链接
-
哈尔滨工程大学的评论#工程快讯#【陈国良院士来校作学术报告】近日“学萃讲坛”第254期邀请陈国良院士作“大数据计算理论”讲座。陈国良院士在讲座中结合多年教学研究经验，讲解了其对大数据计算理论的看法。讲座以计算机科学为开端，以计算复杂性理论为基础，着重介绍了大数据的计算复杂性和大数据本身的复杂性。
-
talentkeychen的评论今天看到Microsoft Research Station Q 是微软资助的一个研究量子计算理论和技术的研究中心，其研究成果涉及凝聚态理论、量子计算和通信等多个领域，很有意思。之前看到阿里巴巴开始招量子计算理论的博士后，以为这是世界独创的企业独立资助基础交叉学科。还是美国人走在前面呢。
-
中国电子报社的评论【网络信息空间大数据计算项目启动】4月29日消息，在973计划支持下，由北京航空航天大学承担的“网络信息空间大数据计算理论”和中科院计算技术研究所承担的“网络大数据计算的基础理论及其应用研究”项目于今年开始实施。
-
乌鲁木齐市科技局的评论在973计划支持下，由北京航空航天大学承担的“网络信息空间大数据计算理论”和中科院计算技术研究所承担的“网络大数据计算的基础理论及其应用研究”项目于今年开始实施。