宗教与科学 书籍
经典好书《宗教与科学》读书内容简介:素是一个非宗教主义者,不信上帝,对宗教神学持否定态度。他在这本书中,历述了自文艺复兴以来,科学与神学的冲突和斗争,每次斗争的结局,总是科学战胜神学。宗教虽然始终不渝地为神学辩护,但它在科学进步面前,不得不一步一步退却,为上帝存在的论证不得不一次又一次...详情
八股文与明清文学论稿 书籍
经典好书《八股文与明清文学论稿》读书内容简介: 作者简介详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《横截面与面板数据的计量经济分析(第二版)(经济科学译丛)(上、下册)》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理:横截面数据和面板数据。本书同时涵盖了线性和非线性模型,包括含有动态性和/或个体异质性的模型。除了一般估计框架(特别是矩方法与极大似然法)外,还详细介绍了一些特定的线性与非线性方法,包括probit和lo...详情
经典好书《JavaScript 艺术与科学》读书内容简介:ms——The Man in Blue ——拥有计算机科学背景及八年图形设计经验,自有一套独特的界面设计方法。利用最新的技术,他喜欢游走于设计和代码的交叉地带,做出富有创意并实用的网站和应用。除了目前正在做的项目,Cameron已经在全世界很多工作室...详情
小言黄帝内经与生命科学 书籍
经典好书《小言黄帝内经与生命科学》读书内容简介: 作者简介详情
科学与近代世界 书籍
经典好书《科学与近代世界》读书内容简介:是一套由上海外语教育出版社奉献给全国大学生及英语爱好者的英语课外读物。该文库内容涉及西方的科技、艺术、历史、文化等诸多方面,每《科学与近代世界》均出自原文,英语纯正,内容丰富,深入浅出。读者不仅可以增加有关西方历史、文化、艺术、科技等方面的知识,更能...详情
经典好书《永恒的图灵:20位科学家对图灵思想的解构与超越》读书内容简介:er)本书付梓前不幸逝世。生前为利兹大学数理逻辑教授,欧洲“可计算性学会”主席,“图灵百年委员会”主席。他主编的《Alan Turing:His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖...详情
明代宦官文学与宫廷文艺 书籍
经典好书《明代宦官文学与宫廷文艺》读书内容简介:特殊人群的教育状况、文化活动、权力角逐等,以求匡正过往文史作品中对其的不当认识和形象单一化问题。他们中既有王翱、冯保等为诗著文的高才雅士,也有阿丑、高永寿等曲艺编演的优伶男宠,更有刘瑾、魏中贤等祸乱朝纲的佞幸“权宦”。这三类宦官不仅对宫廷文化有着深远...详情