经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
科学的终结 书籍
经典好书《科学的终结》读书内容简介: 见: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年,是伽利略积数十年之力写成的。该书以对话的形式总结了伽利略在材料强度和动力学方面的研究成果,以及对力学原理的思考。它是伽利略最重要的科学论著之一,也是物理学、力学、数学和哲学方面重要的经典文献。书中提出的新概念和新思想,对后来的科学发展产生了深刻...详情
经典好书《社会主义从空想到科学的发展》读书内容简介: 《马列主义经典作家文库著作单行本:社会主义从空想到科学的发展》是恩格斯由《反杜林论》中《引论》第一章《概论》和《社会主义》编的第一章《历史》、第二章《理论》改编而成的。恩格斯在改编时作了修改和补充。马克思称其为科学社会主义的入门。作者简介详情
中国近代科学的文化史 书籍
经典好书《中国近代科学的文化史》读书内容简介:man),1946年出生。1968年获美国汉密尔顿学院学士学位,1980年获宾夕法尼亚大学东方学博士学位。1992—1997年任加州大学洛杉矶分校历史系学术副主席,1992—1999年任该校《中国科学》杂志编审,1997—1999年任该校中国研究中心...详情
教育科学的基本概念 书籍
经典好书《教育科学的基本概念》读书内容简介:他大多数学科相比,教育学被模糊的概念以及不准确和内容空泛的假设或论点充斥着。如果谁想要寻找用来解决教育问题的科学方法,肯定不能容忍目前这种状况。而要使理论上系统的研究工作成为可能,就必须首先对教育学的相关概念进行分析。 本书在运用...详情
科学的价值 书籍
经典好书《科学的价值》读书内容简介: 法国科学家、数学家、科学哲学家,爱因斯坦称之为“敏锐的、深刻的思想家”。本书是彭加勒四本科学哲学著作之一,同其他三本一样,也是由论文组成。彭加勒的约定主义是其对科学哲学的巨大贡献。同时,他也是二十世纪初数学哲学争论中直觉主义的主要代表之一。作者简介详情
科学的价值 书籍
经典好书《科学的价值》读书内容简介:旁征博引的解析了科学为何物,科学在人类社会中的价值,及对当时物理学危机的看法。其内容有:数学中的直觉和逻辑;时间的量度等。作者简介法国科学家、数学家、科学哲学家,爱因斯坦称之为“敏锐的、深刻的思想家”。本书是彭加勒四本科学...详情
古代悲剧与现代科学的起源 书籍
经典好书《古代悲剧与现代科学的起源》读书内容简介:(刘小枫) / 1中译本说明 /1英文版前言 /1致谢 /7第一章导言 /9第二章古代悲剧——索福克勒斯的《埃阿斯》 / 28第三章现代科学的起源——笛卡尔的《谈谈方...详情