计算机理论
Approximation Algorithms 豆瓣
作者: Vijay V. Vazirani 出版社: Springer 2001 - 7
'This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems. It contains elegant combinatorial theory, useful and interesting algorithms, and deep results about the intrinsic complexity of combinatorial problems. Its clarity of exposition and excellent selection of exercises will make it accessible and appealing to all those with a taste for mathematics and algorithms' - Richard Karp, University Professor, University of California at Berkeley. Following the development of basic combinatorial optimization techniques in the 1960s and 1970s, a main open question was to develop a theory of approximation algorithms. In the 1990s, parallel developments in techniques for designing approximation algorithms as well as methods for proving hardness of approximation results have led to a beautiful theory. The need to solve truly large instances of computationally hard problems, such as those arising from the Internet or the human genome project, has also increased interest in this theory. The field is currently very active, with the toolbox of approximation algorithm design techniques getting always richer. It is a pleasure to recommend Vijay Vazirani's well-written and comprehensive book on this important and timely topic. "I am sure the reader will find it most useful both as an introduction to approximability as well as a reference to the many aspects of approximation algorithms' - Laszlo Lovasz, Senior Researcher, Microsoft Research.
近世计算理论导引 豆瓣
作者: 黄文奇 出版社: 科学出版社 2004 - 6
《近世计算理论导引:NP难度问题的背景、前景及其求解算法研究》对迄今为止的历史上的有关计算理论了的实质性成果作了深刻、严格而又直观的论述。为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效的求解途径。《近世计算理论导引:NP难度问题的背景、前景及其求解算法研究》的不同部分的不同组合可作为大学生、硕士生、博士生的教材,也可供有关的科技人员参考。
通灵芯片 豆瓣
The Pattern on the Stone: The Simple Ideas That Make Computers Work
作者: [英] 丹尼尔·希利斯 译者: 崔良沂 出版社: 上海科学技术出版社 2012
本书深入浅出地阐述了计算机科学中许多基本而重要的概念,包括布尔逻辑、有限自动机、编程语言、图灵机的普遍性、信息论、算法、并行计算、量子计算、神经网络、机器学习乃至自组织系统.作者高屋建瓴式的概括,既不失深度,又妙趣横生,相信读者读后会有很多启发.
通灵芯片 豆瓣
The Pattern on the Stone: The Simple Ideas That Make Computers Work
作者: Daniel Hillis 译者: 崔良沂 出版社: 上海世纪出版集团 2009 - 1
本书深入浅出地阐述了计算机科学中许多基本而重要的概念,包括布尔逻辑、有限自动机、编程语言、图灵机的普遍性、信息论、算法、并行计算、量子计算、神经网络、机器学习乃至自组织系统。
作者高屋建瓴式的概括,既不失深度,又妙趣横生,相信读者读后会有很多启发。
目录:
序言:石的奇迹
第一章 通用件
第二章 万能积木
第三章 程序设计
第四章 图灵机的普适性
第五章 算法和探索法
第六章 存储:信息与密码
第七章 速度:并行计算机
第八章 自学习与自适应的计算机
第九章 跨越工程设计
致谢
自动机理论、语言和计算导论(英文版.第3版) 豆瓣
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
作者: John E. Hopcroft / Rajeev Motwani 出版社: 机械工业 2008 - 1
本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的,陸质、图灵机、不可判定性以及难解问题等内容。
本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书,适合用作国内高校计算机专业高年级本科生或研究生的教材,还可供从事理论计算工作的研究人员参考。