经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《编写高质量代码:改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助!内容全部由Python编码的最佳实践组成,从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌,一共总结出91条宝贵的建...详情
如何建立創意合作的舞臺 书籍
经典好书《如何建立創意合作的舞臺》读书内容简介:創意社群之文化與習慣的工具。創造空間很困難,而塑造文化更是大膽的荒謬舉動,就像要在暴風雨中的草地上拼一幅一萬片的拼圖,這幅拼圖就是這片草地的圖樣,比例是一比一。採取行動克服這個難題,就從慎重地改變你的環境開始。你會逐漸發現:哪些東西能促...详情
关于建筑的思考 书籍
经典好书《关于建筑的思考》读书内容简介:式介绍当下的建筑思想,其中涵盖了众多关键的理论概念,包括表征、造型、空间等。本书采用循序渐进的叙述方式,将关注点放在思想层面,而没有聚焦于理论背后的理论家和哲学家们。对于学生、建筑从业者及任何对建筑理论怀有兴趣的普通读者来说,本书都是一本十分宝贵的标...详情
给青年建筑师的信 书籍
经典好书《给青年建筑师的信》读书内容简介:梦想”、“空间能力”、“建筑与艺术”、“建筑与通识教育”、“建筑设计”、建筑的“现代与后现代”、“建筑风格与传统”、“建筑家的爱心关怀”、“建筑行业”等十个方面。他在书中谈建筑的空间思考、探讨什么是具有“通识观”的建筑设计,探索现代与后现代之间的建筑...详情
王受之讲述建筑的故事 书籍
经典好书《王受之讲述建筑的故事》读书内容简介:实,我这辈子都在讲设计的故事,只不过以前老在讲台上讲,很少通过书的方式和大家讲。现在就想和大家通过这本薄薄的书来讲故事。如果大家每天读一两页,也就是每天听我讲一个故事,说不定一年下来,也知道好多新的事情呢。每天读书一两页.要花多少时间呢?读得快的人大...详情
经典好书《近500年来福建的家族社会与文化》读书内容简介:首批全国52位“人文社会科学跨世纪优秀人才”培养工程入选者。现任厦门大学人文与艺术学部主任、厦门大学国学研究院常务副院长、教授,兼任中国经济史学会副会长、中国明史学会副会长、中国商业史学会副会长、中国人类学与民族学研究会副会长等职务。主要著作有《清代...详情