陈炬的读书主页

在读   · · ·  ( 9本 )

  • 编程人生
  • 代码整洁之道
  • 哥德尔、艾舍尔、巴赫
  • 集体智慧编程
  • 靠不住的历史

读过   · · ·  ( 75本 )

  • 重构
  • 编程之道
  • 黑客与画家
  • 浪潮之巅
  • 目送
  • Effective Java
  • 编程大师智慧
  • Joel说软件
  • 软件随想录
  • 我是一只IT小小鸟

想读   · · ·  ( 22本 )

  • Linux/Unix设计思想
  • 曾国藩(上中下)
  • Java Performance
  • 分布式Java应用
  • 软件架构师应该知道的97件事
  • 一个都不正经
  • Algorithms
  • 荒废集
  • 上帝掷骰子吗
  • 天朝的崩溃

陈炬的书评   · · ·  ( 3篇 )

计算理论导论

CS学生必读书籍

让人了解计算机的本质,它的能力与它的局限性。 计算理论课的教材,上课上的很累,但很有收获。我觉得没读过这本书的不好意思说自己是Computer Science专业毕业的。(1回应)

面向计算机科学的数理逻辑

晕乎乎

我看过的数理逻辑的书里边,这本书最让我感觉到晕。 语言晦涩难懂,证明莫名其妙,有些地方讲到“显然”,我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学,数理逻辑相关课程,许多内容其实重复,那些东西我已经掌握比较熟练,可是看这本书还是觉得很累。一方面是我智力的因...(3回应)

逻辑的引擎

还要有题目-_-

评论: 逻辑的引擎

去图书馆翻了一本中意的书出来,叫逻辑的引擎。还没有细细地看,只是粗翻了一下,大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然,它更像是一部计算机发展(逻辑上,而非工程上)简史。 说它是传记,甚至说是历史,但是它不是那么地容易读的,读者需要有一些不那么基本的数学知识,比较缜密的...(1回应)

陈炬关注的人  · · ·  ( 全部47 )

lgwain
lgwain
fcicq
fcicq
木遥
木遥
朝來定有霜
朝來定有霜
菜泡饭
菜泡饭
已注销
已注销
他比
他比
车东@豆瓣
车东@豆瓣
dutor
dutor
yolanda
yolanda
魔法师
魔法师
qinyf
qinyf

最近阅读   · · · 

陈炬的图书豆列   · · ·  ( 1个 )