87推荐
20评论
30827 阅读

计算的本质:深入剖析程序和计算机 mobi

[作] Tom Stuart   [译] 张伟    2014-11-10

我知道你是一位编程高手,写代码对你而言是手到擒来的事。但是,你确定自己多年练就的编程技能不是建立在某种想当然的假设基础上?确定自己不是每天都在“稀里糊涂”地写代码?确定真正理解自己的代码是如何运行的吗? 如果你想像“大牛”级的程序员一样做开发,或者想摆脱自己半路出家的知识“ […]


0推荐
0评论
2442 阅读

计算复杂性(英文版)

[作] Oded Goldreich   [译] --    2010-04-12

  本书是理论计算机科学领域的名著。书中对计算任务的固有复杂性研究进行了一般性介绍,涉及了复杂性理论的很多子领域,涵盖了NP完整性、空间复杂性、随机性和计数、伪随机数生成器等内容,还在附录里面给出了现代密码学基础等内容。   本书内容严谨,可读性强,适合作为高年级本科生、研究生 […]


0推荐
1评论
2754 阅读

计算理论基础:可计算性、复杂性和语言(英文版•第2版)

[作] Martin D.Davis 等   [译]    2009-04-10

本书是理论计算机科学领域的名作,是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分,分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性(包括NP完全问题)和编程语言的语义等主题,并展示了它们之间如何相互关联。 […]