经典好书《一位数学家的经历》读书内容简介:拉姆的自传, 叙述了他的世界知名大数学家希尔伯特、冯·诺伊曼等人的关系及不为人知的轶事。根据纽约 Charles Scribner's Sons 1976年英文版译出。译自: Adventures of a mathematician/...详情

经典好书《数学的发现》读书内容简介:解题，大到如何做学问，怎样发现创造数学里的新命题。作者试图通过一些简单典型的例子，找到它们共同的特征，提炼出思考所遵循的路径，引导读者学习如何去思考问题，分析问题，同时也提供了相当丰富的习题让读者亲自实践。 本书适合大、中学校学...详情

经典好书《西方文化中的数学》读书内容简介:、数学教育家、数学史学家和数学哲学家。本书的目的是为了阐明这样一个观点：在西方文明中，数学一直是一种主要的文化力量。在书中作者主要考察数学思想如何影响了直到20世纪的人类生活和思想，所涉及的内容时间跨度极大，从古巴比伦、古埃及开始，一直到现代的相对论...详情

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

经典好书《数汤匙的贼》读书内容简介:史密斯对菲兹杰拉德极其嫌恶，却愿意花重金购买他的手稿。与此同时，九十二街的红墙别墅里死了一位老妇人，伯尼·罗登巴尔除了是个贼，还是个绅士，所以他不能对老妇人的死无动于衷。他一...详情

电视剧【TVB十八年后的终极告白】剧情介绍:(陈山聪)、谢家富(何远东)等七位屋邨少年，与小混混胡啟思发生冲突，最终啟思倒毙地上……七人互生隔阂，从此各散东西，不相往还。 　　十八年过去，警方调查一宗交通意外期间，发现啟思骸骨，七子无法再逃避昔日犯下的弥天大祸!矛盾挣扎之际，...详情

经典好书《第三极的馈赠》读书内容简介:羊为主线，穿插他在印度、巴基斯坦、坦桑尼亚、蒙古和巴西等国考察的十三个故事。夏勒博士将深奥的科学研究与公众交流、政府合作，以及对生命的尊重有机结合起来，讲述了许多鲜为人知的野生动物的传奇。《第三极的馈赠》栩栩如生地描绘了一幅开放式的全景...详情

经典好书《不会笑的数学家》读书内容简介:”居住的三星馆举办。正当大家在观看天体运转模型时，矗立在庭院中央的一尊猎户座铜像突然凭空消失。当天王寺博士脱口而出：“谁能够解开这个谜”时，铜像又再度出现，但是参加舞会的其中一位女生却离奇死亡。不仅如此，还在死者的房间里发现另一具尸体。应邀参加的犀川...详情

经典好书《命令行中的数据科学》读书内容简介:用命令行这个灵活的工具提供了重要参考。作者讲解了众多实用的命令行工具，以及如何使用它们高效地获取、清洗、探索和建模数据。无论你使用Windows、OS X，还是Linux，都可以安装包含80多个命令行工具的“数据科学工具箱”，迅速建立自己的数据分析环...详情

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