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

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

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

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

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

经典好书《信用评分工具--自动化信用管理的理论与实践》读书内容简介:客观实际情况，对行业实践操作进行系统梳理，因此具有极强的现实指导作用。本书作者以其30多年的银行风险管理的经验为发展中国家实现信用评估和信用管理现代化提供了宝贵的经验。这是迄今为止信用评分领域较为详尽的一本著作，它是商业银行和贷款机构半个多世纪以来在...详情

经典好书《给心理治疗师的礼物（万千心理）》读书内容简介:一代治疗师的珍贵备忘录，汇集了他最真实的经验和最坦诚的交流。翻开这本书就像是拆开了来自亚隆的生命的礼物，它将带你领略心理治疗的独到魅力——“与他人真正相遇”。亚隆医生分享了自己近年来的新观点与新发现，不但有对原有主题的新思考与新感悟，也...详情

经典好书《津巴多普通心理学(原书第7版DSM-5升级版美国名校学生喜爱的心理学教材)》读书内容简介:G. Zimbardo）斯坦福大学教授，他在那里教授了50年心理学入门课程，过去35年里一直在编写该课程的基础教材、教师指南和学生练习手册。他多年以来一直致力于将心理学知识传播给大众，其重要贡献包括制作并主持广为传播的纪录片《探索心理学...详情

经典好书《量子论的物理原理》读书内容简介:子论的一本经典著作，书中阐述了量子论的物理意义，特别着重于粒子图像和波动图像的等价性，讨论了测不准原理对统一这两种图像的意义和必要性，有不少内容是海森伯独到的见解，特别是对哥本哈根学派的观点和思想作了完整论述，是这一学派的一本代表作，它对我们了解量子...详情

经典好书《自体心理学的理论与实务》读书内容简介:怒如何可能成为一种造就大邪恶，或造就影响深远之成就力量……。个案所迫切需要的、以及我们努力想要提供个案的，是以我们能力所及的去敏锐同调于个案此刻的真实感受，而这或许是个案以前从未曾经验过的。就是这种治疗心境的可靠供应，奠定了个案觉得自己...详情