![高效算法 竞赛 应试与提高必修128例 [法]克里斯托弗·杜尔（Christoph Dürr） 著；史世强 译 人民邮](http://img3m3.ddimg.cn/70/25/11868751393-1_l.jpg)
![计算理论导引 [美]塞普瑟（Sipser M.） 著 机械工业出版社【售后无忧】](http://img3m0.ddimg.cn/17/15/11936320820-1_l.jpg)
![Scrum要素 [美]Chris、[美]Hillary Louise Johnson 著；徐毅 译 人民邮电出版社【售后](http://img3m0.ddimg.cn/45/27/11936308770-1_l.jpg)
本书对分布式算法进行全面介绍，包括最为重要的算法和不可能性结果。绝大部分的解都给出了数学证明。这些算法都很根据定义的复杂度衡量方法进行分析。本书还讲述针对许多典型问题的算法、各类系统模型及其能力。章后提供大量习题并列出了详细的参考文献。本书可作为高等院校计算机系统研究生的教材，尤其适合对计算机理论或体系结构感兴趣的学生学习，还适合分布式设计人员、研究人员及其相关技术人员参考。
本教材是针对成人高等教育课程编写的，根据成人高等教育培养目标的要求和成人高等教育学生的实际情况，结合教学要求和考试大纲的要求，科学合理安排计算机基础与应用课程体系中的知识点和能力点，采用简洁通俗的案例式教学方法，突出本书的助教与助学的功能特色，精心设计了适合学生自学的复习题，并在书中给出了操作实践的答案与解析。 本教材共分七章，主要内容包括：Windows操作系统、医学办公信息应用技术、网络应用技术基础、Inter应用技术、医学多媒体技术基础等。
本书是计算理论方面的教材之一，包括上下文无关文法、上下文无关文法范式、有限自动机、正则语言的性质、下推自动机和上下文无关语言、图灵机、图灵可计算函数、乔姆斯基层次、判定问题与丘奇图灵机、不可判定性、Mu-递归函数、时间复杂性、库克定理、NP-完全问题、LL(k)文法以及LR(k)文法等问题。本书不仅介绍了计算机科学的基础，而且通过概念的严格表述，以及使用通俗的例子来阐释定理，从而帮助学生提高数学论证能力以及对计算理论知识的全面深入的理解。书中每章后面都有附有大量习题，通过完成这些习题，学生可以加深对本章内容的理解。 本书可以用作计算机科学、计算机工程及其相关专业的教材，也可以作为从事计算理论、形式语言以及计算机系统研发的研究人员和工程技术人员的参考书。
本书追求的目标是算法背后的逻辑，是一本启示书，而不是一本包罗万象的算法大全。因此，本书甄选了那些最能展现算法思想、战略和精华，并能够有效训练算法思维的内容。本书将算法的讨论分为五篇：算法基础篇、算法设计篇、算法分析篇、经典算法篇、难解与无解篇。每篇分别讨论算法的一个方面：基础、设计、分析、经典和难解问题。第2版还对进程调度问题、跳转表问题、概率分析应用、遗传算法等方面进行了论述。 本书既可以作为大学本科或研究生的算法教材或参考书，也可以作为对算法有兴趣的读者提升认知深度的读物。
