经典好书《近代物理科学的形而上学基础》读书内容简介:作,也是哲学史著作。对后世的科学思想史家产生了重大影响。它考察了近代科学兴起的过程和原因,强调科学与哲学、宗教等人类思想领域密不可分。本书对哥白尼、开普勒、 伽利略、笛卡儿、霍布斯、吉尔伯特、波义耳和牛顿等16、17世纪“哲学家-科学家”的方法和形而...详情
经典好书《恩格斯 社会主义从空想到科学的发展》读书内容简介: 作者简介详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
奇怪的战败 书籍
经典好书《奇怪的战败》读书内容简介:纪最具影响力的历史著作之一,意在剖析法国在1940年的战败。这本小书在短短两个月内写成,在战争中并不为人所知,直到1946年才得以出版。书中对法国历史上“最可怕的崩溃”(亦是影响欧洲乃至整个世界的大事件)进行了独到的分析,融合了作者的个人情感、政治见...详情
奇怪的战败 书籍
经典好书《奇怪的战败》读书内容简介:-1944),年鉴学派创始人之一,法国犹太裔史学大师。曾任斯特拉斯堡大学、索邦大学、蒙彼利埃大学等校教授,专攻中世纪史研究。著有《法国农村史》、《封建社会》、《奇怪的战败》和《历史学家的技艺》等书。20世纪末法国出版的《历史科学辞典》称他为“本世纪两...详情
科学的旅程 书籍
经典好书《科学的旅程》读书内容简介:是一部由“正确”与“错误”“成功”和“失败”共同纺织的历史。当前科学教育中最缺乏的是“批判性思维”训练,而我们这个时代比以前任何时代都需要明晰而又具批判性的思考能力,以及把科学方法和原理恰当运用到我们时代处理各种复杂问题的能力。...详情
唐五代科举的世界 书籍
经典好书《唐五代科举的世界》读书内容简介:范大学历史学院副教授。先后获西北师范大学历史学学士、敦煌学硕士和厦门大学历史学博士学位。曾在浙江大学人文学院中国语言文学博士后流动站、中正大学文学院、日本京都大学人文研和人环总学部进行合作研究、访学。主要从事隋唐五代史、科举制度史和敦煌学研究,曾在《...详情
麦琪·科尔的麻烦第一季 电视剧
电视剧【麦琪·科尔的麻烦第一季】剧情介绍: and fall out for Maggie Connors, played by French, who doesn't pay attention to the cautionary adage that 'those in glass ho...详情