经典好书《近代物理科学的形而上学基础》读书内容简介:作,也是哲学史著作。对后世的科学思想史家产生了重大影响。它考察了近代科学兴起的过程和原因,强调科学与哲学、宗教等人类思想领域密不可分。本书对哥白尼、开普勒、 伽利略、笛卡儿、霍布斯、吉尔伯特、波义耳和牛顿等16、17世纪“哲学家-科学家”的方法和形而...详情
经典好书《近代物理科学的形而上学基础》读书内容简介: Burtt.1892—1989),美国哲学家、历史学家。哥伦比亚大学哲学博士,康奈尔大学哲学教授。其主要著作有:《近代物理科学的形而上学基础》(The MetaphysicalFoundations ofModem Physical Sconce:...详情
经典好书《21世纪的心理科学与脑科学》读书内容简介: 作者简介详情
经典好书《高中物理(必修1)(配教科版)-教材完全解读-王后雄学案(课标本)》读书内容简介:)(JKWL)》以课标为依据,通过“三维目标”全面解读教材学习要求,提供总体的学习策略,提出具体的学习要诀,体现目标控制的学习规则。教材知识点和方法点,帮你形成答题要点、解题思维,理清解题思路,揭示考点实质和内涵。针对本节重点、难点、考点及考试能力达...详情
经典好书《科学与价值 科学的目的及其在科学争论中的作用》》读书内容简介: 作者简介详情
经典好书《理解信念:人工智能的科学理解》读书内容简介:。作者尼尔斯·尼尔森通过《理解信念(人工智能的科学理解)(精)》带我们一起检查信念,了解信念为我们做什么,我们是如何持有信念的,以及如何评价信念。作者指出,应该仔细评价我们的信念,因为它们影响着我们如此多的行动和决定。我们所持有的信念可通过概率量化,...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《麻省理工学院与创业科学的兴起》读书内容简介:学在社会中的职能转变的权威著作,为我们了解麻省理工学院如何从一所赠地学院发展成世界著名理工科大学的历程提供了难得的素材。全书系统分析了创业型大学模式在麻省理工学院的起源和发展。为了对这种创业型大学生成及发展的动力机制进行分析,作者不但对麻省理工学院不...详情