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

经典好书《论统一民法对于德意志的必要性》读书内容简介:学界在此前没有出现一个全译本，也没有出现足够开阔和深刻的研究立场。这篇论文的意义被大大低估了。蒂堡论文全译本的出版，为学界同仁提供了与萨维尼对质的材料。人们将有条件对法律观与政治立场之间相互勾连的方式，以及法律与法学、实践与理论、历史与理性之间的联系...详情

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

经典好书《威权统治的转型》读书内容简介:》是吉列尔莫•奥唐奈、菲利普•施密特、劳伦斯•怀特黑德合编的四卷本《从威权主义统治转型:民主的前景》的最后一卷。该丛书是研究威权政体和民主转型的划时代著作。《威权统治的转型:关于不确定民主的试探性结论》在精辟地总结前三卷集体智慧的基础上，提出了具有开...详情

经典好书《统计学习理论的本质》读书内容简介:、结论和方法，以及该领域的最新进展。统计学习理论是针对小样本情况研究统计学习规律的理论，是传统统计学的重要发展和补充。其核心思想是通过控制学习机器的容量实现对推广能力的控制。由Springer-Verlag出版社授权出版。作者简介</b...详情

经典好书《中国的宗教系统及其古代形式、变迁、历史及现状》读书内容简介:古代典籍为主）相结合，运用人类学、社会学和中国学结合的观念和方法展开叙述，从西方角度对中国本土宗教进行了相当全面的介绍，包括丧葬礼仪、古代死亡与灵魂的观念、坟墓制度（帝王陵寝、义冢及各地民间坟茔）、丧葬方式、居丧习俗、风水、灵魂与祖先崇拜、投胎转世观...详情

经典好书《逃避统治的艺术（修订译本）》读书内容简介:山地的居民集中到平地，从事水稻种植，而山民则通过各种方式来逃避国家的控制。传统的观点将山地的居民看做是落后和野蛮的，国家政权延伸到这些地区被看做是推动了这些地方的进步。但是斯科特通过对这个地区历史的研究发现，看起来似乎是落后的 山地少数民族可能并不落...详情

经典好书《数学的统一性》读书内容简介: 《数学的统一性》选编了阿蒂亚关于拓扑学、大范围几何、纯粹数学的历史及发展方向等方面的文章。此外还包括阿蒂亚的访问记、阿蒂亚对自己数学工作的总结以及他关于其他学科对数学的影响等的论述。通过《数学的统一性》我们可以全面地了解阿蒂亚的数学和哲学思想。作者简介详情

经典好书《脱口而出，妙语连珠——令人终生难忘的即兴演说术》读书内容简介:说术》（英文名称 Magic of Impromptu Speaking: Create a Speech That Will Be Remembered for Years in Under 30 Seconds）是一本关于如何练习和准备即兴演说的...详情

经典好书《系统设计的一般原理》读书内容简介:结晶，针对那些无法通过传统方法解决的系统问题，为我们介绍了分析与理解这类问题的新观点和新方法。 这是一本有关一般系统的思想与如何有效思考的著作，对各个学科领域，都有广泛的适用性，不仅仅是关于计算机的系统，还包括各种系统--人类、自然、科技。它提供了许...详情