经典好书《魏晋南北朝隋唐史资料(第三十八辑)》读书内容简介: 作者简介详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
数理逻辑 书籍
经典好书《数理逻辑》读书内容简介:版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情
经典好书《古文字与青铜器论集 (第四辑)》读书内容简介:本著作,与前三本论文集内容相仿,仍然是研究中国古代的青铜器及其铭文。主要是作者近四年来的新作。书中既有关于新出青铜器意义价值的探讨,也有结合其它青铜器,对某一类、某一地区、某一国族、某一时段的青铜器作综合研究的文章。并通过对青铜器形制、纹饰、铭文、铸...详情
经典好书《五年级神探小布朗(第一辑)》读书内容简介:令所有罪犯都闻风丧胆的秘密——五年级神探小布朗。小布朗是整个达维尔读书最多的人,也是帮助他的警察局长爸爸破获各种案件的幕后高手。此外,小布朗还经营者自己的侦探社,专门帮助遇到困难的小伙伴们。事无大小,费用25美分!运用“知识”、“观察”...详情
哲学逻辑引论 书籍
经典好书《哲学逻辑引论》读书内容简介: A.C.格雷林,伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》(1982)、《驳怀疑论》(1986)、《贝克莱:中心论证》(1986)等书。担任《卫报》专栏作者多年,并为《观察家》、《经济学人》等刊物撰稿。作者简介详情
经典好书《啊哈C语言!逻辑的挑战(修订版)》读书内容简介:常有趣的编程启蒙书,《啊哈C语言!逻辑的挑战(修订版)》从中小学生的角度来讲述,没有生涩的内容,取而代之的是生动活泼的漫画和风趣幽默的文字。配合超萌的编程软件,《啊哈C语言!逻辑的挑战(修订版)》从开始学习与计算机对话到自己独立制作一个游戏,由浅入深...详情
明茨伯格管理进行时 书籍
经典好书《明茨伯格管理进行时》读书内容简介:30年对成名作《管理工作的本质》的重新思考。这是管理大师明茨伯格的最新力作,在这本书里,明茨伯格贡献了他对管理的最新研究成果。明茨伯格历经30年对成名作《管理工作的本质》一书更深入思考和完善的最新力作。作者简介<p...详情
逻辑研究 书籍
经典好书《逻辑研究》读书内容简介:粹逻辑学导引”发表于1900年;第二卷“现象学和认识论研究”发表于1901年,由六项研究组成,前五项研究构成第二卷的上册,第六项研究单独构成第二卷的下册。全书的德文原版共有一千三百多页。1913年,在经胡塞尔本人做了较大程度的修改之后,《逻辑研究》又...详情