经典好书《为什么投你：一线投资人解密创业与投资的逻辑（精装）》读书内容简介:他们的平均年龄在30多岁，总体有三个特点：一是以早期投资为主；二是以TMT居多；三是均长期活跃在投资一线。本书希望通过呈现他们的投资风格和投资策略，记录下中国互联网大潮中那些激动人心的时刻，同时解密互联网创业和投资的逻辑，对读者有所启发。<b...详情

经典好书《经验与判断――逻辑谱系学研究》读书内容简介:期思想（至少可追溯到1910年的手稿）是一脉相承的。这本书有力地证明，尽管胡塞尔后期对时间、主体间性、“生活世界”和历史哲学的重视使他显得有某种“转向”，但“胡塞尔从未放弃他的观念论及其作为一种‘严格科学’的哲学的独特观念”。作者简介<...详情

经典好书《逻辑与哲学》读书内容简介: 纯粹理性批判》、黑格尔的《逻辑学》、弗雷格的语言哲学、维特根斯坦的《逻辑哲学论》、达米特和戴维森等的意义理论、柏拉图的思考等进行探讨，揭示了逻辑对语言的分析和哲学之间的关系。作者简介王路，清华大学人文学院哲学系教授。主要...详情

经典好书《逻辑与计算机设计基础》读书内容简介:的内容，自出版以来已被全球超过25万人使用。本书以清晰的解释和逐步延伸的实例来帮助读者理解内容，实例涵盖了从简单的组合应用到建立在RISC内核基础上的CISC结构，更加重视培养读者在计算机辅助设计、问题形式化、解决方案验证和问题解决技巧方面的能力。<...详情

经典好书《现象学及其效应(胡塞尔与当代德国哲学)/中国文库第二辑》读书内容简介: 作者简介详情

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

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

经典好书《共产国际、联共(布)与中国革命文献资料选辑(1926-1927)(上下)》读书内容简介:料丛书》的第5卷。本卷汇集了除丛书第3、4卷《联共（布）、共产国家与中国国民革命运动（1926-1927）》以外散见在中文图书报刊中的部分有关文献资料，包括过去已经由外文译成中文的文献资料。其中有一些文件根据近年重新公布的俄文资料重译。 <p...详情

经典好书《共产国际、联共（布）与中国革命文献资料选辑（1927-1931）（7-12卷）（（7-12卷）》读书内容简介: 作者简介详情

经典好书《共产国际、联共(布)与中国革命文献资料选辑(1917-1925)》读书内容简介:料丛书》的第二卷。本卷汇集了除丛书第一卷《联共（布）、共产国际与中国国民革命运动（1920-1925）》以外散见在其他中文图书报刊中的有关文献资料，包括过去已经由外文译成中文的文献资料。本书所收文件主要是1917年至1925年之间的文献...详情