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

经典好书《大型多人在线游戏开发》读书内容简介:（大型多人，Massively Multiplayer）在线游戏开发知识的文集，汇集业内最优秀的游戏开发人员智慧的精华。《大型多人在线游戏开发》不仅从MMP游戏的角度对客户端技术进行了讨论，还深入剖析了MMP游戏设计、架构、服务端开发、数据库技术以及...详情

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

经典好书《时空与几何》读书内容简介:义相对论的引入，从大爆炸到黑洞，这样很容易激起读者对物理学的浓厚兴趣。附录中提供了大量的数学材料来帮助读者理解正文，而且附录的很多部分本身也是独立完整的。本书的结构，第一章主要介绍狭义相对论和基本张量代数，包含一个场论的简要概述。紧接着...详情

经典好书《スピヴァック多変数の解析学》读书内容简介:とくに、概念や方法が微妙で、初等的な段階では厳密にやりぬくことの難かしい部分に主眼をおいた。本書で採用した方法は、高級な数学の現代的方法を初等的に書きなおしたものである。ストークスの諸定理がどれも証明はやさしく、定義や定式化が難かしいというのにはもっ...详情

经典好书《古文字与青铜器论集 （第四辑）》读书内容简介:本著作，与前三本论文集内容相仿，仍然是研究中国古代的青铜器及其铭文。主要是作者近四年来的新作。书中既有关于新出青铜器意义价值的探讨，也有结合其它青铜器，对某一类、某一地区、某一国族、某一时段的青铜器作综合研究的文章。并通过对青铜器形制、纹饰、铭文、铸...详情

经典好书《俄耳甫斯教辑语》读书内容简介:中的一个古老的教派：“俄耳甫斯诗教”，它是与荷马—赫西俄德教派相并列，甚至更幽古的教派(一般研究者倾向于认定，荷马—赫西俄德的诗教是政制性的宗教，俄耳甫斯秘教则似乎是如今所谓“民间”宗教），集诗歌和宗教教义与宗教生活实践为一体。译著者搜集整理了各种文...详情

经典好书《空间·时间·建筑》读书内容简介:方法来研究历史；用空间概念来分析建筑；用恒与变（Constance and Change）来揭示发展的本质；用大历史衬托具体建筑现象，又用具体现象的深刻分析来呼应时代；种种直笔与曲笔的结合，共时与历时分析的结合使人在雄浑的历史感中体会到建筑真意。 　...详情

经典好书《五年级神探小布朗（第一辑）》读书内容简介:令所有罪犯都闻风丧胆的秘密——五年级神探小布朗。小布朗是整个达维尔读书最多的人，也是帮助他的警察局长爸爸破获各种案件的幕后高手。此外，小布朗还经营者自己的侦探社，专门帮助遇到困难的小伙伴们。事无大小，费用25美分！运用“知识”、“观察”...详情

经典好书《Java多线程编程核心技术》读书内容简介:解，首本全面介绍Java多线程编程技术的专著结合大量实例，全面讲解Java多线程编程中的并发访问、线程间通信、锁等最难突破的核心技术与应用实践Java多线程无处不在，如服务器、数据库、应用。多线程可以有效提升计算和处理效率...详情