Questions tagged «books»

我已经完成了Cormen的《算法入门》一书中的大部分内容，并且正在寻找一本涵盖Corman本书以外的内容的算法书。有什么建议吗？ 注意：我在stackoverflow上询问了此问题，但对答案并不满意。 注意：在我看来，通过阅读大多数评论，我很理想地希望在本课程说明中找到一本涵盖787课程材料的书。

21 algorithms  reference-request  books 

我经常与想问一个关于计算问题（或其复杂性）的算法的人互动，但是他们并没有以一种严格的方式来表达我们（计算机科学家）可以理解的方式。 用CLRS之类的书来引用它们是没有帮助的，因为那里的示例通常有一种非常直接的方式来严格地陈述，例如，给定一个图的邻接列表，并且图中的两个顶点计算出这些顶点之间的最短路径。 是否有任何一本好书（或其他资源），使对CS知识最少的人可以学习如何以计算机科学家可以理解的严格方式来表述和陈述计算问题？ 最好，这本书应该有许多示例，这些示例如何从各个领域和现实世界的示例中严格地阐述计算问题。 澄清度 为了使问题更具体，让我们假设他们了解1/2年级本科CS学生的基本数学/ CS术语，例如集合，函数，图形，列表等（我所拥有的人就是这种情况）心神）。例如，他们阅读了一些入门性教科书，例如Aho和Ullman（尽管他们可能还没有完全理解它）。 Al Aho和Jeff Ullman，计算机科学基金会，1992年。

20 algorithms  reference-request  books 

最近，我对理解和证明（功能）编程语言的各个方面非常感兴趣。 但是，随着我的深入研究，如果没有适当的解释，演算，类别理论和指称语义之类的东西将有些难以理解。λλ\lambda 我读过SICP（相当有启发性的书），但我希望深入研究函数式编程理论。是否有书籍/博客/站点/您的名字可以从头开始讨论功能编程语言的理论？

16 reference-request  lambda-calculus  functional-programming  books 

我是非CS毕业生，并且我的研究领域与CS无关。但是，作为成为计算机科学家的更大计划的一部分，我希望获得与CS相关的理论计算机科学和数学方面的扎实背景。我进行了大量研究，并选择了以下关于CS和数学的最佳/非常好的书籍，并希望就以下方面提出您的意见： 所涵盖主题的完整性（请推荐我错过的任何内容） 覆盖的材料/杀伤力较大的区域重叠（请推荐应从清单中删除的书籍） 学习书籍的顺序（我以应该学习的顺序列出） 该列表感觉太长了，因此，我建议删除一些书籍，而又不会失去CS所需的核心知识。 因此，这些书是： WW索耶（WW Sawyer）的《数学家的喜悦》 如何证明它：Daniel J. Velleman的结构化方法 如何解决：G。Polya数学方法的一个新方面 格雷格·迈克尔森（Greg Michaelson）通过Lambda微积分进行函数式编程的简介 Al Aho和Jeff Ullman撰写的计算机科学基础（http://i.stanford.edu/~ullman/focs.html） 具体数学：Graham，Knuth和Patashnik的计算机科学基础 Michael Sipser的计算理论导论 John E. Hopcroft，Rajeev Motwani，Jeffrey D. Ullman对自动机理论，语言和计算的介绍 计算复杂性：概念观点，作者：Oded Goldreich 计算复杂性：现代方法，Boaz Barak的Sanjeev Arora RM Wilson的JH van Lint撰写的组合课程 可计算性：Nigel Cutland的递归函数理论导论 计算机与顽固性：NP完全性理论指南，作者：Johnson MR Garey 递归函数理论和有效可计算性Hartley Rogers GH Hardy，JE Littlewood和G.Polya的不平等现象 数学逻辑：一门练习课程（第一部分）：命题微积分，Bookean代数，RenéCori的谓词微积分，Daniel Lascar 数学逻辑：一门练习课程（第二部分）：递归理论，Godel定理，集合论，模型论（作者RenéCori，Daniel Lascar）

14 books 

您能给我一些有关逻辑和计算的入门（但全面）书籍的建议吗？ 我想到的一些模糊主题是： Presburger artihm。，PA，ZF，ZFC，HOL 集合论，类型论 不同理论的建模计算（车床） 与计算复杂度（FMT，描述性复杂度）链接

11 reference-request  logic  books 

想要改善这篇文章吗？提供此问题的详细答案，包括引文和答案正确的解释。没有足够详细信息的答案可以被编辑或删除。 我的任务是为我们的小公司（约15人）建立有关算法的书籍库。预算超过5k，但肯定少于1万，所以我可以买很多书。这里的所有人都至少具有CS或紧密相关领域的学士学位，因此，尽管我会获得像Cormen这样的基本教科书，但我对高级主题的好书更感兴趣。（我将获得Knuth的4卷，顺便说一句。） 一些主题列表如下： 排序算法 图算法 字符串算法 随机算法 分布式算法 组合算法 等等 本质上，我在关于CS中与算法和数据结构相关的主要主题的书籍中寻找好的建议。尤其是超出一门好学校学士学位课程的算法和数据结构课程通常涵盖的内容。我知道这个问题很模糊，因为我正在寻找通用的有用材料。我们开发的软件主要是系统级的东西，处理大量数据。 理想的选择是找到可以涵盖大多数人可能尚未听说的相当新的酷数据结构和算法的任何内容。 编辑：这是我认为应该得到的一些初步书籍： Cormen等人的算法简介。 算法设计，克莱因伯格，塔多斯 Knuth的计算机编程艺术第1-4卷 Vazirani的近似算法 Williamson，Shmoys的近似算法设计 Moghani，Raghavan的随机算法 Sipser计算理论导论 Arora的计算复杂性，巴拉克 Garey和Johnson撰写的《计算机与难处理》 Schrijver的组合优化 我的同事希望与其他有关语言设计，编译器和形式方法的技术和算法的书籍包括： 皮尔斯的类型和编程语言 贝尔的模型检查原理，加藤 编译器：Aho，Lam，Sethi，Ullman编写的原理，技术和工具 编译器设计手册：优化和机器代码生成，第二版，Srikant，Shankar 垃圾收集手册：Jones，Hosking和Moss的自动内存管理技术

11 algorithms  reference-request  data-structures  books 

在工作中，我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套let表达式，如下所示： return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 由于我从一般类型信息开始，并试图推断出更具体的类型，因此自然的选择是精简类型。例如，条件运算符返回其真假分支类型的并集。在简单的情况下，它效果很好。 但是，在尝试推断以下类型时遇到了障碍： function …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

已关闭。这个问题是基于观点的。它当前不接受答案。 想改善这个问题吗？更新问题，以便通过编辑此帖子以事实和引用的形式回答。 4年前关闭。 我很喜欢数学的优雅和严谨，现在正在寻找有关算法和算法分析的文献。现在，涵盖什么算法对我来说并没有多大关系，但是如何呈现和对待它们就非常重要。¹我最看重一种非常清晰准确的语言，该语言以严格抽象的方式定义了所有使用的概念。 我发现由Cormen，Leiserson，Rivest和Stein撰写的经典算法简介非常整洁，但是对数学的处理不够好，并且其证明和定义非常非正式。在这方面，Sipser的《计算理论导论》似乎更好，但是仍然没有提供从数学到算法的无缝过渡。 谁能推荐一些东西？ ¹：算法至少应使用经典的非平凡抽象数据结构（例如图形，数组，集合，列表，树等）来调用其所需数据的管理，最好也对此类数据结构进行操作。如果完全忽略数据结构的使用和管理问题，我不会太感兴趣。不过，我不太关心用它们解决的问题。

11 algorithms  algorithm-analysis  reference-request  books 

我想为我作为论文一部分编写的Haskell程序的某些部分提供证明。但是到目前为止，我找不到很好的参考书。 格雷厄姆·赫顿（Graham Hutton）的入门书籍《编程在Haskell中编程》（《Google图书》）（我在学习Haskell时就读了）涉及一些推理程序的技巧，例如 方程式推理 使用非重叠模式 列表归纳 在第13章中，但不是很深入。 您是否可以推荐任何书籍或文章，以更详细地概述Haskell或其他功能代码的形式证明技术？

10 reference-request  proof-techniques  functional-programming  books  software-verification 

我认识的一个15岁聪明的人对计算机科学和遗传学感兴趣。我告诉她，这些领域完美地结合在一起。我想给她写一本有关生物信息学或计算基因组学的书。我正在寻找一本有趣的书，而不是一本教科书。特别是，它应该激发人们去研究该领域，而不是旨在提供本身的深入知识。我对遗传算法的书不感兴趣。有什么建议么？

9 education  books  bioinformatics