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

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

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

经典好书《尺规理想国》读书内容简介:作为观察建筑、理解世界的起点和终点，反思现代建筑制度和当代中国城市化进程，指出中国当代建筑行业流弊，探讨当前中国建筑思想特质，讨论经典、父权、身份、血缘、反叛等与建筑师职业息息相关的问题。这些文章均绕开我们习以为常的建筑话语，带有强烈的个人色彩和鲜明...详情

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

经典好书《整理生活，从整理内心开始：改变深层思维与习惯，过上持久整洁的生活！》读书内容简介:惯，过上持久整洁的生活！》以心理学和神经科学为基础：本书告诉你为何养成习惯可以让整理毫不费力，如何科学有效地养成习惯，如何告别完美主义和恐惧心理……阿曼达·沙利文手把手教你养成整理的习惯：本书不仅阐述了清理和重新整理的步骤，而且用科学方...详情

经典好书《刑事诉讼法：规则 原理 应用》读书内容简介:学院证据法研究中心主任；曾任北京市延庆县*挂职副检察长（2008—2012年）；兼任中国案例法学研究会副会长，《中国案例法评论》主编；曾就读于中国政法大学（1992—2002年），先后获法学学士、法学硕士、法学博士学位，并留学于英国华威大学（Warw...详情

经典好书《肠道藏着心理的秘密：肠道与心理综合征饮食疗法》读书内容简介: 作者简介详情

经典好书《弱相互作用规范理论》读书内容简介:sics has made enormous progress, which may well be compared to the dramatic developments that occurred during the first few d...详情

经典好书《分析心理学的理论与实践》读书内容简介: 作者简介详情