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

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

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

经典好书《中国省域生态文明建设评价报告》读书内容简介:实推进生态文明建设，需要相应的评价体系，以了解现状、明确目标、引导政策。《生态文明绿皮书:中国省域生态文明建设评价报告(ECI2012)》（ECI2012）采用国家发布的权威数据，使用生态文明建设评价指标体系ECCI2012，从生态活力、环境质量、社...详情

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

经典好书《智能建筑控制与节能》读书内容简介:高速发展，大大推进了建筑技术水平的提高。伴随着计算机的普及和信息产业的发展，在建筑业出现了智能建筑，而随着人们生活水平的不断提高，智能建筑得到了迅猛发展，并已成为21世纪建筑业的发展主流。它给传统建筑加上了“灵敏”的神经系统和“聪明”的头脑，提高了人...详情

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

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

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

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