经典好书《计算机程序的构造和解释(原书第2版)》读书内容简介:84年出版，成型于美国麻省理工学院(MIT)多年使用的一本教材，1996年修订为第2版。在过去的二十多年里，《计算机程序的构造和解释(原书第2版)》对于计算机科学的教育计划产生了深刻的影响。第2版中大部分重要程序设计系统都重新修改并做过测试，包括各种...详情

经典好书《随机漫步的傻瓜》读书内容简介:步的傻瓜》中指出：你的成功不见得是因为比其他人高明，而很可能是运气的结果。开劳斯莱斯的摇滚乐手、把印象派画作抬到天价的投机客，拥有私人飞机的企业家和牙医相比，哪一个更富有？答案可能让你吃惊：牙医。因为他的职业生涯几乎没有什么风险，可能出...详情

经典好书《生机勃勃的尘埃》读书内容简介:了地球生命的起源是一次偶然事件的产物或者一系列幸运事件的综合结果，还是编织宇宙织物的生物化学推动力的结局？假如是后者，这些推动力是什么？怎样不仅对生命起源负责，也对朝着复杂性不断提高方向前进的进化过程负责？作者简介克里斯蒂...详情

经典好书《计算机程序的构造和解释（原书第2版）》读书内容简介:课程教材之一， 从理论上讲解计算机程序的创建、 执行和研究。 主要内容包括：构造过程抽象，构造数据抽象，模块化、 对象和状态，元语言抽象，寄存器机器里的计算等。作者简介哈罗德·阿贝尔森（Harold Abelson）是MI...详情

经典好书《随机致富的傻瓜》读书内容简介:的大起大落只发生在须臾之间，借鉴塔勒布的操作手法（这也是不少操盘手正在做的），您将能避免风险，并在黑天鹅出现时大赚一笔。说股票交易者应该人手一册本书绝对不过分。人的本性经常低估随机现象，我们很需要这样的书。妙趣横生、清新隽永且独具一格，...详情

经典好书《计算机算法的设计与分析》读书内容简介:哥伦比亚大学计算机科学系主管本科生教学的副主任，IEEE Fellow，美国科学与艺术学院及国家工程学院院士，曾获得IEEE的冯·诺伊曼奖。他是《编译原理》(Compiler：Principles，Techniques，andTools)的第一作者。...详情

经典好书《危机和人的启示》读书内容简介:政治观念史稿》的最后一卷，也是唯一出版于作者沃格林生前的一卷。那时，它以《从启蒙到革命》的题目单独出版，作者将其贡献于当时对启蒙运动的重估。但是，《危机和人的启示》只包含很少关于启蒙运动主流人物的内容。原因在于，主流人物的贡献主要在于使秩序走向稳定，...详情

经典好书《伺机下手的贼》读书内容简介:他最鼓舞人心且最受歡迎的角色之一：與眾不同的柏尼•羅登拔。白天是珍本書商，晚上是小偷，柏尼有種天賦異稟，可以進入種種設計來要把小偷擋在外面的地方。世故卻又腳踏實地，睿智卻務實，柏尼是個紳士，熟知且熱愛曼哈頓五花八門又充滿刺激的街道；他也是個鑑賞家，生...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情