逻辑的引擎 书籍
经典好书《逻辑的引擎》读书内容简介:这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年...详情
鸟笼里的暹逻猫 下 书籍
经典好书《鸟笼里的暹逻猫 下》读书内容简介:谁也改变不了的事实。但,她也不能否认:她是人在二十世纪,心却老是回到十九世纪飘荡!唉~~谁让她和他是分属于两个世纪的人呢!而……要说谁有错,不用怀疑,就是她──是她莫名其妙闯入他的生命里,又莫名...详情
科学发现的逻辑 书籍
经典好书《科学发现的逻辑》读书内容简介:1902年7月28日生于奥地利维也纳(当时属于奥匈帝国)的一个犹太裔中产阶级家庭,毕业于维也纳大学。1928年,他获授哲学博士学位,1930年至1936年间在中学任教。1937年,纳粹主义势力抬头,波普尔移民至新西兰。他在新西兰克赖斯特彻奇市(即基督...详情
自由的逻辑 书籍
经典好书《自由的逻辑》读书内容简介:克、波普尔同为“朝圣山学会”的重要代表人物,二战以来捍卫自由的有力斗士。然而,我国学界对哈耶克、波普尔介绍甚多,对博兰尼却少有提及。《自由的逻辑》是博兰尼的重要代表作,初版于1951年。正与哈耶克的《通往奴役之路》、波普尔的《开放社会及其敌人》具有相...详情
历史的逻辑 书籍
经典好书《历史的逻辑》读书内容简介:未发展出关于社会理论的合理讨论。小威廉·H.休厄尔注意到,在理论问题上,沟通只是单向的:从社会科学流向历史学。《历史的逻辑:社会理论与社会转型》认为,历史学和社会科学能为彼此提供重要的思考。历史学者不自视为理论家,但他们深谙社会科学学者所不知道的事情...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《中国土地制度变革的历史与逻辑》读书内容简介:》在史料选择上以土地制度是否发生重大变革为标准,主要目的是要通过对土地制度变革的重大事件的梳理和回顾,建立起一个比较完整的土地制度变迁脉络,从而发现土地制度变迁的内在逻辑。另外,应该指出的是,所谓中国土地制度,主要是指农村土地制度。在中国古代,农村土...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《啊哈C语言!逻辑的挑战(修订版)》读书内容简介:常有趣的编程启蒙书,《啊哈C语言!逻辑的挑战(修订版)》从中小学生的角度来讲述,没有生涩的内容,取而代之的是生动活泼的漫画和风趣幽默的文字。配合超萌的编程软件,《啊哈C语言!逻辑的挑战(修订版)》从开始学习与计算机对话到自己独立制作一个游戏,由浅入深...详情
简单的逻辑学(精装版) 书籍
经典好书《简单的逻辑学(精装版)》读书内容简介:名逻辑学家、哲学教授D.Q.麦克伦尼,将一门宽广、深奥的逻辑科学以贴近生活、通俗易懂、妙趣横生的语言娓娓道来。它既没有刻板的理论教条,也不是正规的教科书,而是一本必不可少的现实指南。生活中,逻辑无处不在。无论我们是有意还是无意,逻辑每时...详情