经典好书《理解信念：人工智能的科学理解》读书内容简介:。作者尼尔斯·尼尔森通过《理解信念（人工智能的科学理解）（精）》带我们一起检查信念，了解信念为我们做什么，我们是如何持有信念的，以及如何评价信念。作者指出，应该仔细评价我们的信念，因为它们影响着我们如此多的行动和决定。我们所持有的信念可通过概率量化，...详情

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

经典好书《美国宪法的“高级法"背景》读书内容简介:学教授卡尔・B．斯威舍的一席话来概括：“这本小书简洁而极生动地写出了对美国法的性格和美国宪法制度产生重要影响的具有二百年历史的自然法思想背景。美国宪法的力量以及美国宪法条款中具有的公正意识，皆来源于高级法诸原则……法律主要是被发现而非被制定的，这样一...详情

经典好书《控制力：麻省理工学院的经典理论》读书内容简介:数学家诺伯特•维纳的代表作。在《控制力：麻省理工学院的经典理论》中，作者为研究社会提供了一个新方法和一个新观点，还为我们描述出一个未来社会的新景样，并警示在社会中将会出现的问题及其解决方法。维纳在书为读者阐述了两个观点，一是在目前的社会中人们只能通过...详情

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

经典好书《算法心得：高效算法的奥秘（原书第2版）》读书内容简介:余年的资深计算机专家撰写，Amazon全五星评价，算法领域最有影响力的著作之一Google公司首席架构师、Jolt大奖得主Hoshua Bloch和Emacs合作创始人、C语言畅销书作者Guy Steele倾情推荐算法的艺...详情

经典好书《藝術家想的跟你不一樣: 如何像藝術家一樣思考, 孕育出好點子, 並將點子轉化成有價值的東西》读书内容简介:p>作者最新作品你知道畢卡索是如何從模仿其他畫家，成為20世紀最偉大的藝術家嗎？杜象是如何從有限的藝術才能，躍身為世上第一位概念藝術家？米開朗基羅是如何克服自己的恐懼才完成西斯汀禮拜堂的穹...详情

影片剧情摘要:男孩哈利·波特是魔法师的后代。他的父母都被一个魔法界的坏巫师所杀，然而当坏巫师也企图杀死哈利波特时却被一种巨大的力量给阻止，哈利波特因此得以幸存。之后他与阿姨一家人同住，而且被送往魔法师学校就读，发生许多有趣又不可思议的经历。 　　...详情

经典好书《大衰退年代：宏观经济学的另一半与全球化的宿命》读书内容简介:命》呈现了宏观经济学的全新理论，为应对停滞挑战和困扰许多发达国家的收入不平等恶化问题提供了解决方案。自2008年大衰退以来，绝大多数发达国家深陷停滞。为实现通货膨胀和增长目标，货币安排已经达到很高水平，然而，中央银行和政府不断重复着失败...详情

经典好书《美国宪法的“高级法”背景》读书内容简介:美国宪法制度产生重要影响的具有二百年历史的自然法思想背景。美国宪法的力量以及美国宪法条款中具有的公正意识皆来源于高级法诸原则。……法律主要是被发现而非被制定的，这样一种法的概念可以从德摩塞尼斯一直追寻到加尔文·库利奇和后来的其他人。作者...详情