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

经典好书《为什么研究中国建筑》读书内容简介:作者立足建筑艺术，深入浅出的为我们展现了一幅幅反应中国古代建筑的画卷。沿着梁思成先生的足迹，读者不仅可以从宏观上了解中国古代建筑的历史演变，其中凝聚的智慧与艺术，以及中国古建中绘画、雕塑艺术的精髓；而且书中详尽的个案描述、手绘孤本图片的...详情

经典好书《中国古建筑二十讲(精)--中国文库》读书内容简介:p>楼庆西：1930年生。1952年毕业于清华大学建筑系。留校任教至今，现为清华大学建筑学院教授。长期从事中国建筑历史的研究与教学工作。主要著作有：《中国宫殿建筑》、《中国建筑艺术全集・建筑装修与装饰》、《中国传统建筑装饰》、《中国建筑的门文化》、《...详情

经典好书《建筑经典读本》读书内容简介:的理论和实践论著，撷取其中的精华部分编辑成36个读本，分为序篇、第一部分、第二部分、第三部分、终篇、三部分又分为9个专题，全面涵盖了从建筑历史和理论、建筑文脉到建筑过程的方方面面，每篇读本又配以中英文的导读介绍了每本书的背景和价值。本书...详情

经典好书《当代中国法治的分析与建构》读书内容简介:国建构现代法治？在中国社会结构一个多世纪的现代转型过程中，从来不缺乏各种质疑和批判。但是，随着这一转型的不断展开，历史本身提出了大规模现代社会的治理问题，并把本土资源、传统主义、文化多元主义、后现代主义等各种论调，远远地抛在身后。在这个宏大的历史过程...详情

经典好书《图像中国建筑史》读书内容简介:古建筑典型的实例照片和图解，阐释中国古建筑结构体系在三十个世纪中的发展及形制的演变——孕育并发祥于史前时期，发育并成长于汉代，成熟并逞其豪劲于唐代，臻于完美醇和于宋代，显现衰老羁直之象于明代初叶，直至面对现代化挑战的当代。这是一部不甚完备但却是独一无...详情

经典好书《失去的建筑》读书内容简介: 作者简介详情

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

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

经典好书《编写高质量代码：改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助！内容全部由Python编码的最佳实践组成，从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌，一共总结出91条宝贵的建...详情