在读"逻辑的引擎"的豆瓣成员

2012-05-26     tags: 湖南出版集团

牛虻的作者是布尔的闺女

2012-05-20     tags: 科普 逻辑 计算机

没人觉得这本书的翻译甚至这个出版社的这个系列的翻译很糟糕？比如从句，似乎只会翻译成“这样一种.....即......”的形式，让人的阅读充满疲劳感。

2012-05-27     tags: 计算机科学 科普

2012-05-14     tags: 思维 思考 计算机的逻辑发展史 逻辑学家的故事

2012-05-03

2012-04-27     tags: 科普

2012-04-27

2012-04-26

又是一本“要是刚进大学的时候就读该多好啊！”的书

2012-04-25

2012-04-24

2012-04-24

2012-04-23

好久没遇见这么一本一打开就放不下的好书了，竟然能把枯燥的计算理论与相关数学的历史写的如此让人心动，看得我都想再重上一次电路逻辑了……

2012-04-22     tags: 人工智能 计算机 第一推动 经典 科普

2012-05-23

2012-04-19     tags: 逻辑的引擎 数学 逻辑 哲学 计算机

从莱布尼茨到图灵，三个世纪的莱布尼茨之梦，如何驱动着数学，逻辑，哲学，甚至神学的交融汇织和繁荣，孕育出通用计算机的繁荣，以及更远大的人工智能的梦想。徐徐生动地展示了人类理性的光辉。

2012-04-23     tags: 逻辑 计算机科学

2012-04-16     tags: 算法 数学

Martin Davis的力作

2012-04-14     tags: 科普 计算机 数学

计算机本质上是一台逻辑机器，内部原理就是0,1逻辑代数，本书从莱布尼茨，布尔一直到图灵，生动地介绍了这些伟大的科学家为了使这样一台逻辑机器成为现实而做出的杰出的工作。

2012-04-12

2012-04-10     tags: 科普 Mathematic Logic

大一的时候和CXY去书店时买的，爱不释手，非常引人深思，甚至震撼心灵～

2012-06-05

2012-05-31     tags: 第一推动丛书 美国 科普 计算机

老师推荐，正在读

2012-05-30     tags: 计算机史

2012-05-24     tags: 科普

2012-05-18

当当。这套书凑不凑呢？以我的智商，凑了……

2012-05-10

2012-04-22     tags: 计算机科学

2012-04-18     tags: 逻辑的引擎 逻辑 计算机 数学 哲学

2012-04-13

2012-03-30     tags: 科普 逻辑 计算机 数学 计算机科学 哲学 逻辑的引擎 计算机史 科学

2012-03-19     tags: 哲学

2012-03-11

2012-03-10

2012-03-12     tags: 科普 逻辑 计算机 数学 计算机科学

莱布尼茨——据说他50岁的时候曾经向人求过婚，但是当那位女士犹豫的时候他又重新作了考虑，并改变了主意

2012-02-25

2012-02-07     tags: 科普 逻辑 计算机科学 哲学 逻辑学史

2012-02-06

2012-01-20

2012-01-20

2012-01-18

2012-06-04

2012-06-04     tags: 第一推动

2012-06-04

2012-06-04

2012-06-02

2012-06-01

2012-05-31     tags: 逻辑

2012-05-31

2012-05-30     tags: 计算机科学 逻辑

思想至上啊！

2012-05-30

2012-05-30

2012-05-30

2012-05-29

2012-05-26

2012-05-26

2012-05-26     tags: 科普 计算机

2012-05-25

2012-05-23

2012-05-23     tags: 逻辑 计算机

2012-05-22