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

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

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

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

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

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

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

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

经典好书《唐五代科举的世界》读书内容简介:范大学历史学院副教授。先后获西北师范大学历史学学士、敦煌学硕士和厦门大学历史学博士学位。曾在浙江大学人文学院中国语言文学博士后流动站、中正大学文学院、日本京都大学人文研和人环总学部进行合作研究、访学。主要从事隋唐五代史、科举制度史和敦煌学研究，曾在《...详情

电视剧【麦琪·科尔的麻烦第一季】剧情介绍: and fall out for Maggie Connors, played by French, who doesn't pay attention to the cautionary adage that 'those in glass ho...详情