经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动...详情

经典好书《伦理学中的形式主义与质料的价值伦理学》读书内容简介:部著作是对伦理学人格主义进行奠基的尝试。它的核心在于对价值与人格进行现象学的查探。由于康德只承认价值的概念是指感性价值，人格的概念是指理性人格，因而这部著作也是对康德的实践理性和绝对命令的批判。作者简介马克斯·舍勒(Max...详情

经典好书《伦理学中的形式主义与质料的价值伦理学（上下）》读书内容简介: 伦理学中的形式主义与质料的价值伦理学：为一门伦理学人格主义奠基的新尝试，ISBN：9787108020543，作者：（德）马克斯·舍勒（Max Scheler）著；倪梁康译作者简介详情

电视剧【午餐联谊侦探：恋爱与美食与解谜】剧情介绍:。在剧中，美月饰演的是不擅长与人交往，但是观察力优秀，在谜团面前会突然发生变化的推理狂·天野唯香，为了这次的角色她剪去了35cm的秀发，以短发造型出演。对于在公司内被传言的幽灵故事和身边失踪人物的去向等，唯香将运用天生的推理能力去挑战。 ...详情

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

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

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

经典好书《心理结构与心理动力学》读书内容简介: 《心理结构与心理动力学•荣格文集(第4卷)》收集了荣格讨论心理结构及其动力的一些重要论文。在这些论文中，他讨论了心理能、集体无意识、灵魂信仰等重要的问题。这些论文标志着他脱离了弗洛伊德的心理分析，开始构建自己的理论概念。作者简介详情

经典好书《心理结构与心理动力学-荣格文集（第四卷）》读书内容简介: 《心理结构与心理动力学•荣格文集(第4卷)》收集了荣格讨论心理结构及其动力的一些重要论文。在这些论文中，他讨论了心理能、集体无意识、灵魂信仰等重要的问题。这些论文标志着他脱离了弗洛伊德的心理分析，开始构建自己的理论概念。作者简介详情

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