经典好书《怎样有逻辑地说服他人》读书内容简介:、白领、公司总裁等人士，讲透了人和人相处的本质。本书用生动的案例与可实践的方法告诉我们：在和他人相处与合作的过程中，我们怎样才能让自己成为“主要人物”；在不为人知的情况下，我们怎样有逻辑地说服他人、有规则地去影响他人；“权威”、“影响力”、“等级”、...详情

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

经典好书《逻辑哲学研究》读书内容简介:京大学哲学系∕外国哲学研究所教授，博士生导师，专业领域为逻辑学和分析哲学。先后赴芬兰赫尔辛基大学、美国迈阿密大学和英国牛津大学访学或研究各一年。专著有：《逻辑哲学引论》、《蒯因》、《冯•赖特》、《奎因哲学研究——从逻辑和语言的观点看》、《爱默生》、《...详情

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

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

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

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

经典好书《数理逻辑》读书内容简介:版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情

经典好书《哲学逻辑引论》读书内容简介: A.C.格雷林，伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》（1982）、《驳怀疑论》（1986）、《贝克莱：中心论证》（1986）等书。担任《卫报》专栏作者多年，并为《观察家》、《经济学人》等刊物撰稿。作者简介详情

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