经典好书《佛教逻辑》读书内容简介:在本书中，作者综合了当时佛教史、佛教哲学和梵藏文献研究的重要成果，以三位佛教思想家为对象，通过东西方逻辑的比较，对晚期大乘佛教的认识论逻辑进行了深入的研究。作者简介舍尔巴茨基(Th.Stcherbatsky)，20世纪上半...详情

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

经典好书《逻辑学Ⅰ》读书内容简介:大成者，西方哲学史上最伟大的哲学家之一。求学于图宾根大学（与谢林、荷尔德林为同窗），先后任教于耶拿大学、海德堡大学、柏林大学。主要著作有《费希特和谢林哲学体系的差别》（1801）、《精神现象学》（1807）、《逻辑学》（1812-1816）、《哲学科...详情

经典好书《自由的逻辑》读书内容简介:克、波普尔同为“朝圣山学会”的重要代表人物，二战以来捍卫自由的有力斗士。然而，我国学界对哈耶克、波普尔介绍甚多，对博兰尼却少有提及。《自由的逻辑》是博兰尼的重要代表作，初版于1951年。正与哈耶克的《通往奴役之路》、波普尔的《开放社会及其敌人》具有相...详情

经典好书《历史的逻辑》读书内容简介:未发展出关于社会理论的合理讨论。小威廉·H.休厄尔注意到，在理论问题上，沟通只是单向的：从社会科学流向历史学。《历史的逻辑：社会理论与社会转型》认为，历史学和社会科学能为彼此提供重要的思考。历史学者不自视为理论家，但他们深谙社会科学学者所不知道的事情...详情

经典好书《神的逻辑，人的魔法》读书内容简介:我在一所与世隔绝寄宿学校里，却不记得自己是怎么来到这儿的。我有五位同学，他们的身上似乎都有着不可思议的魔力。我们有一门必修课，竟然是破解各种稀奇古怪的谜题！这所奇怪学校是神设下的骗局吗？这么说，...详情

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

经典好书《黑格尔小逻辑绎注》读书内容简介: 作者简介详情

经典好书《中国土地制度变革的历史与逻辑》读书内容简介:》在史料选择上以土地制度是否发生重大变革为标准，主要目的是要通过对土地制度变革的重大事件的梳理和回顾，建立起一个比较完整的土地制度变迁脉络，从而发现土地制度变迁的内在逻辑。另外，应该指出的是，所谓中国土地制度，主要是指农村土地制度。在中国古代，农村土...详情

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