经典好书《科学发现的逻辑》读书内容简介:1902年7月28日生于奥地利维也纳（当时属于奥匈帝国）的一个犹太裔中产阶级家庭，毕业于维也纳大学。1928年，他获授哲学博士学位，1930年至1936年间在中学任教。1937年，纳粹主义势力抬头，波普尔移民至新西兰。他在新西兰克赖斯特彻奇市（即基督...详情

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

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

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

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

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

经典好书《啊哈C语言！逻辑的挑战（修订版）》读书内容简介:常有趣的编程启蒙书，《啊哈C语言！逻辑的挑战（修订版）》从中小学生的角度来讲述，没有生涩的内容，取而代之的是生动活泼的漫画和风趣幽默的文字。配合超萌的编程软件，《啊哈C语言！逻辑的挑战（修订版）》从开始学习与计算机对话到自己独立制作一个游戏，由浅入深...详情

经典好书《简单的逻辑学（精装版）》读书内容简介:名逻辑学家、哲学教授D.Q.麦克伦尼，将一门宽广、深奥的逻辑科学以贴近生活、通俗易懂、妙趣横生的语言娓娓道来。它既没有刻板的理论教条，也不是正规的教科书，而是一本必不可少的现实指南。生活中，逻辑无处不在。无论我们是有意还是无意，逻辑每时...详情

经典好书《建筑形式的逻辑概念》读书内容简介: 作者简介详情

经典好书《集体行动的逻辑》读书内容简介:是中国现代经济学史上的一座里程碑。林毅夫、樊纲、易纲、张军等当今中国经济学界的主力和领军人物，都是丛书的早年作者，正是丛书提供了他们最初的学术成长平台。2014年度格致出版社对丛书再作大规模整理和改版工作。曼瑟尔·奥尔森所著的《集体行动的逻辑》即为此...详情