经典好书《宗教与科学》读书内容简介:素是一个非宗教主义者，不信上帝，对宗教神学持否定态度。他在这本书中，历述了自文艺复兴以来，科学与神学的冲突和斗争，每次斗争的结局，总是科学战胜神学。宗教虽然始终不渝地为神学辩护，但它在科学进步面前，不得不一步一步退却，为上帝存在的论证不得不一次又一次...详情

经典好书《现象学及其效应(胡塞尔与当代德国哲学)/中国文库第二辑》读书内容简介: 作者简介详情

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

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

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《JavaScript 艺术与科学》读书内容简介:ms——The Man in Blue ——拥有计算机科学背景及八年图形设计经验，自有一套独特的界面设计方法。利用最新的技术，他喜欢游走于设计和代码的交叉地带，做出富有创意并实用的网站和应用。除了目前正在做的项目，Cameron已经在全世界很多工作室...详情

经典好书《小言黄帝内经与生命科学》读书内容简介: 作者简介详情

经典好书《永恒的图灵：20位科学家对图灵思想的解构与超越》读书内容简介:er）本书付梓前不幸逝世。生前为利兹大学数理逻辑教授，欧洲“可计算性学会”主席，“图灵百年委员会”主席。他主编的《Alan Turing：His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖...详情

经典好书《北宋科举考试与文学》读书内容简介:第一章主要论述北宋的发解试；第二章论述北宋前期进士科考试与文学的关系，指出该时期科举考试的重点是诗赋，从而影响了当时的学风；第三章论述熙宁贡举对于学风、文风的影响；第四章论述哲宗朝元祐年间的科举政策；第五章论述徽宗朝为推行三舍法而制定的科举与学校的政...详情

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