经典好书《西方科学的起源》读书内容简介:部非常优秀的科学史读物。它结合欧洲科学传统的哲学、宗教和体制背景，深入浅出地介绍了从古希腊到中世纪晚期各个方面的科学成就，竭力避免从今天的科学观点出发来理解古代成就。1992年本书第一版问世后好评如潮。2007年，作者对该书做了重要修订扩充了大量内容...详情

经典好书《孙中山与“科学的时代”》读书内容简介:“科学人”，从十九世纪末二十世纪初“科学”在中国的传入、翻译、普及、应用等用度，详细探讨了孙中山这科学观的形成过程，及其核心为“生之哲学”的思想以“科学”为桥梁深入的过程。作者简介武上真理子，生于日本大阪府。1984年毕业...详情

经典好书《"非科学"的中国传统舆图》读书内容简介:研究》内容有：《元和郡县图志》《太平寰宇记》和《元丰九域志》中的“四至八到”；明清方志中的“四至八到”；“制图六体”在中国地图绘制史中影响力的分析；对“计里画方”在中国地图绘制史中地位的重新评价；宋元方志中所记“四至八到”的性质等。作者...详情

经典好书《西方科学的起源》读书内容简介:rg），1935年生，美国著名科学史家，威斯康星大学科学史系教授，主要研究领域为中世纪和近代早期科学史以及宗教与科学的关系。曾任科学史学会主席，1999年获得科学史研究的最高奖萨顿奖章。其代表作有：《从金i虫到开普勒的视觉理论》（Theories o...详情

经典好书《西方科学的起源》读书内容简介:科学史上所有重要的主题和事件，涉及数学、天文学、力学、光学、自然史、医学等众多领域，百余幅历史图片尤其珍贵和罕见。对许多长期未决的历史论争，作者提出了崭新的独到见解，尤其重视科学的文化和社会背景，以及哲学和宗教对科学理论与实践的影响。作...详情

经典好书《恩格斯 社会主义从空想到科学的发展》读书内容简介: 作者简介详情

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

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

经典好书《科学的旅程》读书内容简介:是一部由“正确”与“错误”“成功”和“失败”共同纺织的历史。当前科学教育中最缺乏的是“批判性思维”训练，而我们这个时代比以前任何时代都需要明晰而又具批判性的思考能力，以及把科学方法和原理恰当运用到我们时代处理各种复杂问题的能力。...详情

经典好书《施特劳斯、韦伯与科学的政治研究》读书内容简介:施特劳斯的现代历史解释瞄准了一个根本性的问题，即激励现代历史和世界历史的东西——哲学与神启之争。在他看来，韦伯主张的价值中立的社会科学最终会导致虚无主义。施特劳斯毫不妥协地批判了新政治科学，在批判的每一个步骤中，他都首先展示亚里士多德的...详情