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

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

经典好书《《最后的晚餐》为何是杰作？——名画的诞生》读书内容简介:《圣经》中的七大经典主题，解读历代艺术大师之间的创意较量，以及名画中蕴含的丰富故事和文化内涵。《<最后的晚餐>为何是杰作——名画的诞生》从对比中解读传世名作，揭示名画中容易被忽视的细节。历史上如此多的《最后的晚餐》，为何只有达• 芬奇的...详情

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

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

经典好书《如何建立創意合作的舞臺》读书内容简介:創意社群之文化與習慣的工具。創造空間很困難，而塑造文化更是大膽的荒謬舉動，就像要在暴風雨中的草地上拼一幅一萬片的拼圖，這幅拼圖就是這片草地的圖樣，比例是一比一。採取行動克服這個難題，就從慎重地改變你的環境開始。你會逐漸發現：哪些東西能促...详情

经典好书《美国人：建国的历程》读书内容简介:书馆馆长布尔斯廷最负盛名的代表作，三卷分获班克罗夫特奖、帕克曼奖和普利策奖。本卷讲述美国独立后到内战前的历史，披露了许多有趣的史实，如美国如何从法国购买路易斯安那并得到佛罗里达，华盛顿生前死后受到的截然不同的遭遇和评价，1776年独立宣言的真相等。美...详情

经典好书《建国之父的失败》读书内容简介:，1943年出生于纽约市，先后毕业于哈佛大学（1964年）和耶鲁法学院（1967年），曾任教于宾夕法尼亚大学法学院、耶鲁法学院和哥伦比亚大学法学院，自1987年始担任耶鲁大学斯特林法学与政治学讲座教授。阿克曼教授在政治理论、美国宪政与比较宪法领域内均...详情

经典好书《重建时代的人与社会》读书内容简介:尔·曼海姆的重要社会学著作之一。作者在书中对人格的塑造和社会组织范围的失调进行了深入研究。他站在欧洲大陆和盎格鲁一撒克逊的角度讨论了自由主义和民主的危机，他指出：现代社会失调，出现文化危机的主要原因在于自由放任原则和无计划调节原则间的冲突。他认为，没...详情

经典好书《基于Excel和VBA的高级金融建模》读书内容简介:模型覆盖了整个金融领域，包括股票、股票期权和债券期权。本书在纵览金融领域的基础上，将资产定价中的假设、数学问题、数值方法和Excel 的解法连接起来，总结出一般性规律，然后详细介绍如何应用Excel中的宏和函数来实现股票、期权和债券内容的计算。</p...详情