经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《编写高质量代码:改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助!内容全部由Python编码的最佳实践组成,从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌,一共总结出91条宝贵的建...详情
如何建立創意合作的舞臺 书籍
经典好书《如何建立創意合作的舞臺》读书内容简介:創意社群之文化與習慣的工具。創造空間很困難,而塑造文化更是大膽的荒謬舉動,就像要在暴風雨中的草地上拼一幅一萬片的拼圖,這幅拼圖就是這片草地的圖樣,比例是一比一。採取行動克服這個難題,就從慎重地改變你的環境開始。你會逐漸發現:哪些東西能促...详情
经典好书《近500年来福建的家族社会与文化》读书内容简介:首批全国52位“人文社会科学跨世纪优秀人才”培养工程入选者。现任厦门大学人文与艺术学部主任、厦门大学国学研究院常务副院长、教授,兼任中国经济史学会副会长、中国明史学会副会长、中国商业史学会副会长、中国人类学与民族学研究会副会长等职务。主要著作有《清代...详情
建国之父的失败 书籍
经典好书《建国之父的失败》读书内容简介:,1943年出生于纽约市,先后毕业于哈佛大学(1964年)和耶鲁法学院(1967年),曾任教于宾夕法尼亚大学法学院、耶鲁法学院和哥伦比亚大学法学院,自1987年始担任耶鲁大学斯特林法学与政治学讲座教授。阿克曼教授在政治理论、美国宪政与比较宪法领域内均...详情
重建时代的人与社会 书籍
经典好书《重建时代的人与社会》读书内容简介:尔·曼海姆的重要社会学著作之一。作者在书中对人格的塑造和社会组织范围的失调进行了深入研究。他站在欧洲大陆和盎格鲁一撒克逊的角度讨论了自由主义和民主的危机,他指出:现代社会失调,出现文化危机的主要原因在于自由放任原则和无计划调节原则间的冲突。他认为,没...详情
经典好书《基于Excel和VBA的高级金融建模》读书内容简介:模型覆盖了整个金融领域,包括股票、股票期权和债券期权。本书在纵览金融领域的基础上,将资产定价中的假设、数学问题、数值方法和Excel 的解法连接起来,总结出一般性规律,然后详细介绍如何应用Excel中的宏和函数来实现股票、期权和债券内容的计算。</p...详情
建築學的教科書 书籍
经典好书《建築學的教科書》读书内容简介:建築學的世界。包括安藤忠雄、妹島和世、佐佐木睦朗、藤森照信、石山修武、內藤廣等人,以建築師、結構專家、建築史家、建築環境學者、建築醫師、文化資源學者、作家兼評論家的背景,暢所欲言多年浸淫於建築世界的體會。他們不吝分享個人生涯中跌跌撞撞的經驗,並以扎實...详情
经典好书《伊東豐雄建築論文選:衍生的秩序》读书内容简介:有別於過去單靠建築作品來認識伊東豐雄的模式,試圖自伊東創作建築以來所寫的無數文章中,選粹出最具代表性的四十八篇來刻畫伊東在建築思想上的輪廓。在他如此奔放的形式操作背後理解到我們所未能察覺的、 超越繼承建築秩序的新價值。「少一點純粹之美,...详情
经济学中的经验建模 书籍
经典好书《经济学中的经验建模》读书内容简介:,1934年生于英国威尔士的斯旺西,现为英国公民。他于1959年获得英国诺丁汉大学博士学位,现为美国加利福尼亚大学圣迭戈分校的荣誉经济学教授,并担任该校经济学秘书协会主席。他于1995年当选为美国艺术与科学院院士,并于2003年获诺贝尔经济学奖。</...详情