丹尼尔•希利斯讲计算机MOBI,EPUB,AZW,PDF,TXT,KINDLE

• 发布人 藏书阁
• 科普
• 0 评论

畅销全球，累计被翻译成十多种语言，计算机领域的经典之作！

世界上运行最快的计算机的设计者丹尼尔·希利斯，为你揭示计算机运行背后永恒不变的基本原理！

“科学大师书系”经典再现。

丹尼尔•希利斯讲计算机.jpg

布尔逻辑

幸运的是，我读的第一本有关计算机的书是一本经典之作。我的父亲是一位流行病学家，那时我们居住在加尔各答，很难读到英文著作。在英国领事馆的图书室里，我找到了一本表面布满灰尘的书，作者是19世纪的逻辑学家乔治·布尔（George Boole），书名为《思维规律的研究》（An Investigation of the Laws of Thought）。这个书名立刻吸引了我，令我心驰神往，难道真的存在支配思维的法则吗？在这本书中，布尔试图将人类的思维逻辑简化为数学运算。他虽然没有真正解释清楚人类的思维过程，但道出了简单的逻辑运算的惊人力量和普适性。他还发明了一种语言，可以用来描述和处理逻辑陈述，以及判定这些陈述的真假。这种语言现在被称为布尔代数（Boolean algebra）。

布尔代数与我们在高中所学的代数相似，差别仅在于等式中的变量所代表的东西从数字变成了逻辑命题。布尔变量代表非真即假的命题，符号∧、∨、¬分别代表“与”“或”“非”逻辑运算。例如下列的布尔代数方程：

¬（A∨B）=（¬ A）∧（¬ B）

这个方程被称为德·摩根定律，是以布尔的同事奥古斯都·德·摩根（Augustus De Morgan）的名字命名的，其含义为：如果A和B无一为真，则两者皆必然为假。变量A和B可以表示任意非真即假的逻辑命题。显然，这个方程是成立的。不过，布尔代数还能写出更加复杂的逻辑命题，并能进行证明和反证。

麻省理工学院曾有一位年轻的工程学硕士，他通过一篇论文将布尔的理论引入了计算机科学领域，使其大放异彩，这位学生名叫克劳德·香农（Claude Shannon）。香农最广为人知的成就是创立了信息论，信息论是数学的一个分支，这门分支定义了我们称为“二进制位”（又叫比特）的信息度量单位。二进制位概念的提出是一项了不起的成就。对于计算科学来说，香农利用布尔逻辑所做的工作也同样重要。香农的这两项成就为之后50年计算机科学的发展奠定了基础。

香农曾致力于创造一台会下国际象棋的机器，更确切地说是一台能模拟人类思维的机器。1940年，他在硕士论文《继电器与开关电路的符号分析》（A Symbolic Analysis of Relay Switching Circuits）中表明，构建一个与布尔代数方程完全等价的电路是可能的。在香农设计的电路中，开关的开启和关闭对应着布尔代数逻辑变量值的真与假。