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

经典好书《科学革命的结构》读书内容简介:1922—1996）， 美国物理学家、科学哲学家、科学史家，被誉为“二战后最具影响力的一位以英文写作的哲学家”（理查德·罗蒂语）。库恩于1949年获物理学博士，后执教于加州大学、麻省理工学院等，任麻省理工学院语言学哲学劳伦斯·洛克菲勒名...详情

经典好书《貓科男友的逗弄方法》读书内容简介:。某個早晨，再度化為貓咪的他，與命中注定的男人相遇了 !!對方正是在初次見面時，就能用一根手指撫摸到讓九重發出呼嚕叫聲的夏目！不擅控制貓咪變身的九重，雖然努力對抗夏目的超絕撫技，但是……!?超絕...详情

经典好书《最後的問題 : 西方短篇科幻小說精選》读书内容简介: 譯作，並附作者介紹及內容評介作者简介李逆熵，本名李偉才（Eddy Lee Wai Choi），為香港著名科普、科幻作家。廣東新會人，1955年生於香港。曾獲選為1985年香港十大傑出青年。亦為香港科幻會會長。详情

经典好书《科学家的辩白》读书内容简介:代在《一个数学家的辩白》中，用最优雅的语言对数学的真谛进行了最完美的揭示；N.维纳在《数学与神童》中，以非专业的语言阐述了一位天才的智力发展过程和工作、生活方式；怀特海在《科学的起源》中阐述了现代科学的发展以及它对当代文明和生活的深刻影响。三位大师都...详情

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

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

经典好书《第七感：自我蛻變的新科學》读书内容简介:團體競相邀約「人際神經生物學」權威丹尼爾．席格博士第七感席捲全球第七感是每個人都有的內在潛能，是培養EQ與SQ的真正基礎，也是開啟認知自我與感知他人的神秘鑰匙。就算9...详情

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《給青年科學家的信》读书内容简介:p>美國當代重要生物學家，《社會生物學：新綜合理論》作者愛德華•奧斯本•威爾森2013年最新暢銷書將六十年學思歷程化為二十篇給所有年輕人的書信讓讀者全面而深入地了解科學之路的挑戰與樂趣。無論是有...详情