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

经典好书《家庭日记 森友治家的故事3》读书内容简介:作，让您的心像棉花糖一样被融化★豆瓣最受追捧治愈系良品、小清新超人气经典之续作★告诉您《家庭日记1、2》之后，森友治一家又发生了什么★毫无雕饰、至真、至纯，让您的心像棉花糖一样被融化★内容均来自...详情

经典好书《家庭、私有制和国家的起源》读书内容简介: 書影代用民國四十三年（1954）10月人民出版社版「家庭、私有制和国家的起源」封面書影。原書號1001.188，有民國四十六年（1957）2月北平6印本。作者简介详情

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

电视剧【麦琪·科尔的麻烦第一季】剧情介绍: 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...详情

经典好书《近代物理科学的形而上学基础》读书内容简介: Burtt．1892—1989)，美国哲学家、历史学家。哥伦比亚大学哲学博士，康奈尔大学哲学教授。其主要著作有：《近代物理科学的形而上学基础》(The MetaphysicalFoundations ofModem Physical Sconce：...详情