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

经典好书《控制力：麻省理工学院的经典理论》读书内容简介:数学家诺伯特•维纳的代表作。在《控制力：麻省理工学院的经典理论》中，作者为研究社会提供了一个新方法和一个新观点，还为我们描述出一个未来社会的新景样，并警示在社会中将会出现的问题及其解决方法。维纳在书为读者阐述了两个观点，一是在目前的社会中人们只能通过...详情

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

经典好书《整理的艺术4：升职从整理开始》读书内容简介:了！修炼外语技能│应对资格考试│规划职业生涯为职场人量身打造风靡日本的超高效职场学习法，“穷忙族”“月光族”“草莓族”翻身必备本书将帮你打造完美的——〖学习工具〗手机、耳机、MP3、录音笔，不起...详情

经典好书《产品经理进化论：AI+时代产品经理的思维方法》读书内容简介:法》以人工智能时代产品经理的思维与方法为主线，讲述了产品经理在人工智能浪潮中，从一般的互联网产品的产品经理升级到 AI+产品的产品经理应该思考的问题，应该具有的产品感知，以及在产品中嵌入 AI 时应该如何解决问题。第一部分主要讲述人工智能时代产品经理...详情

经典好书《资产组合选择和资本市场的均值-方差分析》读书内容简介:马科维茨可能比其他任何一位活着的人对现代金融和投资理论的影响都更加深远。--《纽约时报》《资产组合选择和资本市场的均值-方差分析》包含了对一般资产组合选择模型、各种重要的特例、可行解和有效解的特征，以及其他相...详情

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

经典好书《解密三十八度線：中蘇朝的合作與分歧》读书内容简介:，綜合中港三地、美國、俄國等多元一手訊息，探討了蘇聯的亞洲政策以及中蘇同盟和朝鮮戰爭之間的廣泛鏈結，進一步分析蘇聯、中國和朝鮮在朝鮮戰爭爆發前後各自的立場及三國間的博奕。對朝鮮戰爭起源與中國參戰等問題作了縝密的分析和探討，不僅顛覆了曾為...详情

经典好书《体验设计：一个整合品牌、体验与价值的框架》读书内容简介:阐述了如何在商业当中运用以体验为中心的设计，以吸引更多用户的眼球，并让用户在其购买周期里为企业贡献更多价值，《体验设计：一个整合品牌、体验与价值的框架》将设计看成流程，此流程将帮助企业在客户的整体购买周期里提升用户体验的质量。《体验设计：一个整合品牌...详情

经典好书《多民族国家的族际政治整合》读书内容简介:士；现为云南大学教授，博士生导师，政治学系主任，政治学一级学科带头人；主要从事政治学理论、民族政治学、地方政府与边疆治理等研究；先后主持国家社科基金重大项目、教育部重大攻关项目、国家社科基金重点项目和一般项目等十多个科研项目；著有《香港政治发展（19...详情