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

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

经典好书《科学的终结》读书内容简介: 见:http://edu.sina.com.cn/y/news/2005-07-19/154339609.html http://www.gmw.cn/01ds/1998-10/14/GB/220%5EDS908.htm作者简介详情

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

经典好书《关于两门新科学的对话》读书内容简介:8年，是伽利略积数十年之力写成的。该书以对话的形式总结了伽利略在材料强度和动力学方面的研究成果，以及对力学原理的思考。它是伽利略最重要的科学论著之一，也是物理学、力学、数学和哲学方面重要的经典文献。书中提出的新概念和新思想，对后来的科学发展产生了深刻...详情

经典好书《尼科洛的微笑》读书内容简介:li），1952年生于弗利，毕业于博洛尼亚大学哲学系，1985年获佛罗伦萨欧洲大学学院的社会政治科学博士学位，曾执教于乔治顿大学的新社会研究学院和比萨高等师范学院，现为普林斯顿大学政治学教授。其著作包括：Jean Jacques Rousseau a...详情