Models of Computation - Exploring the power of computing

前言:

        计算机科学理论针对可计算对象(computational subject )能够建立良好模这一问题。计算模型的最初研究起始于1930s到1940s的Turning,Post,Kleene,Church等等。到了50s和60s,理论问题的核心集中到了程序设计语言,语言编译器以及操作系统;与之同时,对在有限硬件条件下高效的利用计算机解决问题以及问题本身复杂行的研究推动了理论向两个主题扩展,前者发展为算法和数据结构,后者发展为计算复杂度。

        尽管70s到80s目睹了建模技术以及计算机性能分析的方法学的发展,但是这些有用的东西还没有平民化到introductory level。本书就是为了填补这个空白。

        本书涵盖了形式语言,自动化,complexity classes;而且给了较为modern的topics比如space-time tradeoffs. memory hierarchies, parallel computation, the VLSI model, and circuit complexity 一些介绍性的篇幅。

内容:

第一章:

        计算机理论的历史简介。

        数学初步:集合(Sets),数论(Number Systems),语言和字串(Languages and Strings),关系模型(Relations),图论(Graphs),矩阵(Matrix),函数(Functions),函数增长率(Rate of Growth of Functions ?)。

        计算模型:逻辑电路(Logical Circuits),有限状态机(Finite-State Machines),随即存取机器(Random-Access Machine),以及形式语言(Formal Language)。

        计算复杂度:计算不等价性(A Computational Inequality),时空互换以及I/O操作(Tradeoffs in Space, Time, and I/O Operations),复杂度类分(Complexity Classes),电路复杂度(Circuit Complexity)。

        并行计算。

第二章:逻辑电路

        很多的功能都可以被直接的计算为straight-line programs,即为无循环无分支的programs。

       

《计算理论导论》(Introduction to the Theory of Computation)是一本经典的计算机科学教材,适用于理论计算机科学领域的学生和研究人员。这本书由Michael Sipser所著,第一版于1997年出版,目前已经出版了第三版。 《计算理论导论》的目标是介绍计算理论的基本概念和技巧。它涵盖了计算能力、形式语言、自动机理论、图灵机、可计算性、复杂性理论等主题。每个主题都以清晰的解释、例子和练习来展示,使读者能够理解和应用这些概念。 这本书的特点之一是强调形式化和精确性。它使用数学语言和符号来定义概念和理论,并提供了形式的证明过程。这种精确性有助于读者深入理解计算理论的基本原理和证明方法。 书中还包含了一些重要的应用,例如正则表达式、编程语言的语法分析、有限状态机的设计等。这些应用展示了计算理论在实际计算机科学领域的应用和重要性。 《计算理论导论》可以作为计算机科学相关专业的教材使用,也适用于自学者。读者需要有一定的数学基础,如离散数学和数理逻辑,以便更好地理解和运用书中的概念和技巧。 总之,《计算理论导论》是一本经典的计算机科学教材,它通过清晰的解释、精确的定义和形式化的证明,帮助读者理解计算理论的基本概念和技巧,并展示了其在实际应用中的重要性。无论是理论计算机科学领域的学生还是研究人员,都可以从中受益。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值