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

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

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

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

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

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

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

经典好书《逻辑研究》读书内容简介:粹逻辑学导引”发表于1900年；第二卷“现象学和认识论研究”发表于1901年，由六项研究组成，前五项研究构成第二卷的上册，第六项研究单独构成第二卷的下册。全书的德文原版共有一千三百多页。1913年，在经胡塞尔本人做了较大程度的修改之后，《逻辑研究》又...详情

经典好书《数理逻辑》读书内容简介: 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。作者简介邢滔滔，北京大学哲学系副教授详情

经典好书《逻辑思维，只要五步（新版）》读书内容简介:维是一项处理工作和生活问题的必备技能。我们很多的时间都浪费在无效沟通和不停返工中。学会逻辑思维，就能快速表达自己、理清头绪和关系、找到切入点和关键点、问题迎刃而解！★★简单——简单易行的逻辑思考术，短时间内让你让你解决问题...详情