Zerstorung durch Fortschritte der Technologie

A*搜寻算法，俗称A星算法。这是一种在图形平面上，有多个节点的路径，求出最低通过成本的算法。常用于游戏中的NPC的移动计算，或线上游戏的BOT的移动计算上。该算法像Dijkstra算法一样，可以找到一条最短路径；也像BFS一样，进行启发式的搜索。在此算法中，g(n)表示从

深度优先搜索算法（Depth-First-Search），是搜索算法的一种。是沿着树的深度遍历树的节点，尽可能深的搜索树的分支。当节点v的所有边都己被探寻过，搜索将回溯到发现节点v的那条边的起始节点。这一过程一直进行到已发现从源节点可达的所有节点为止。如果还存在未被发现的节点，则

广度优先搜索算法（Breadth-First-Search），又译作宽度优先搜索，或横向优先搜索，简称BFS，是一种图形搜索算法。简单的说，BFS是从根节点开始，沿着树的宽度遍历树的节点。如果所有节点均被访问，则算法中止。广度优先搜索的实现一般采用open-closed表。

推荐读物：奇点临近这是书的链接http://book.douban.com/subject/6855803/电影也快上映了http://movie.douban.com/subject/3011356/Shawn the R0ck 写道 "天才未来学家Ray Kurzweil(同时也是光学字符识别和语音识别领域的先驱)在2005年由Viking出版的The Si

推荐图书：http://book.douban.com/subject/6860890/"《黑客:计算机革命的英雄》的二十五周年纪念版中文版上市，这本书几乎是每一位黑客必读的爱书，Steven Levy这部经典力作的25周年版从20世纪50年代早期跨越到80年代后期，追述了计算机革命中初期黑客的丰功伟绩，他们都是最聪明和最富有个性的精英。他们勇于承担风险，勇于挑战规则，并把世界推向了一

在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。术语一般来讲，运算是一个形式系统，包括一套语法表示式、这些表示式可区分的子集（公理）和一套定义了特定的二元关系，可解译为表示式空间上的逻辑等价的形式规则。若形式系统被指为是一个逻辑系统，其表示式会被解释成数

一阶逻辑是数学家、哲学家、语言学家使用的一种形式演绎系统。它有很多名字包括：一阶谓词演算、低等谓词演算、一阶逻辑的语言或谓词逻辑。不像自然语言如英语，FOL使用由数学结构来解释的完全无歧义的形式语言。一阶逻辑是通过允许在给定论域的个体上的量化而扩展命题逻辑的演绎系统。例如，在FOL中可陈述“所有个体都有性质P”。命题逻辑处理简单的陈述性命题，一阶逻辑补充覆盖了谓词和量化。例如下列句子：“苏格拉

贝叶斯法则——MBA智库百科贝叶斯法则（Bayes'theorem/Bayes theorem/Bayesian law）[编辑]什么是贝叶斯法则　　贝叶斯的统计学中有一个基本的工具叫贝叶斯法则、也称为贝叶斯公式， 尽管它是一个数学公式，但其原理毋需数字也可明了。如果你看到一个人总是做一些好事，则那个人多半会是一个好人。这就是说，当你不能准确知悉一个事物