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

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

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

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

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

经典好书《数学领域中的发明心理学》读书内容简介: 阿达玛在《数学科学文化理念传播丛书·数学领域中的发明心理学》中追随庞加莱在巴黎心理学学会上的著名讲演的思想，着重论述了以“无意识思维”为核心的数学发明心理过程，给人以强烈印象。作者简介详情

经典好书《认知心理学：认知科学与你的生活(原书第5版)》读书内容简介:otti），韦尔斯利学院心理学和经济学学士，宾夕法尼亚大学心理学硕士和博士、计算机与信息科学硕士。卡尔顿学院认知科学教授，并担任由她于1989年帮助建立的跨学科领域项目负责人。她也是心理学系前系主任。她教授的课程包括认知和发展心理学以及认知科学，同时...详情

经典好书《近代物理科学的形而上学基础》读书内容简介: Burtt．1892—1989)，美国哲学家、历史学家。哥伦比亚大学哲学博士，康奈尔大学哲学教授。其主要著作有：《近代物理科学的形而上学基础》(The MetaphysicalFoundations ofModem Physical Sconce：...详情

经典好书《伦理学与哲学的限度》读书内容简介:.威廉斯的代表作，初版于1985年。在本书中，威廉斯检讨了伦理学理论的几种代表性理论如亚里士多德传统和康德传统，指出伦理学理论反思的对象应该是人的伦理生活，而不应该是人的伦理反思。如果把伦理学定位为后者，并且一味地要在一定的理论起点上为人的伦理活动寻...详情

经典好书《近代物理科学的形而上学基础》读书内容简介:作，也是哲学史著作。对后世的科学思想史家产生了重大影响。它考察了近代科学兴起的过程和原因，强调科学与哲学、宗教等人类思想领域密不可分。本书对哥白尼、开普勒、 伽利略、笛卡儿、霍布斯、吉尔伯特、波义耳和牛顿等16、17世纪“哲学家-科学家”的方法和形而...详情