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

经典好书《美国儿科学会育儿百科（第6版）》读书内容简介:构，这本书是其先进育儿理念的集中体现。本书经过6次修订，数百位专家的审核，充分保证了信息的及时性和准确性。儿科医生广泛推荐，新手父母首选。与世界儿科医学发展同步，紧跟时代，科学育儿。全球销量超过...详情

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

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

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

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

经典好书《伟大的计算原理/计算机科学丛书》读书内容简介:类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算...详情

经典好书《反叛的科学家》读书内容简介:923－），出生于英国。他早年追随著名的数学家G. H. 哈代研究数学，二战后去了美国，师从汉斯•贝特和理查德•费曼等人，开展物理学方面的研究工作。他证明了施温格与朝永振一郎的变分法方法和费曼的路径积分法相互等价，为量子电动力学的建立作出了决定性的贡...详情

经典好书《科学的旅程》读书内容简介:是一部由“正确”与“错误”“成功”和“失败”共同纺织的历史。当前科学教育中最缺乏的是“批判性思维”训练，而我们这个时代比以前任何时代都需要明晰而又具批判性的思考能力，以及把科学方法和原理恰当运用到我们时代处理各种复杂问题的能力。...详情

经典好书《从量子到宇宙——颠覆人类认知的科学之旅》读书内容简介:家们所做的各种令人惊奇的实验为脉络，循序渐进地介绍了人类探索量子世界的整个过程。作为一本科普读物，本书涵盖了波粒二象性、叠加态、概率幅、纠缠态、隧道效应、电子云、超流体、量子真空涨落、费曼图、超弦理论等量子力学中引人入胜的大部分内容，也介绍了扫描隧道...详情