经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
第七感:自我蛻變的新科學 书籍
经典好书《第七感:自我蛻變的新科學》读书内容简介:團體競相邀約「人際神經生物學」權威丹尼爾.席格博士第七感席捲全球第七感是每個人都有的內在潛能,是培養EQ與SQ的真正基礎,也是開啟認知自我與感知他人的神秘鑰匙。就算9...详情
经典好书《横截面与面板数据的计量经济分析(第二版)(经济科学译丛)(上、下册)》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理:横截面数据和面板数据。本书同时涵盖了线性和非线性模型,包括含有动态性和/或个体异质性的模型。除了一般估计框架(特别是矩方法与极大似然法)外,还详细介绍了一些特定的线性与非线性方法,包括probit和lo...详情
中国大百科全书·语言文字 书籍
经典好书《中国大百科全书·语言文字》读书内容简介: 作者简介详情
经典好书《JavaScript 艺术与科学》读书内容简介:ms——The Man in Blue ——拥有计算机科学背景及八年图形设计经验,自有一套独特的界面设计方法。利用最新的技术,他喜欢游走于设计和代码的交叉地带,做出富有创意并实用的网站和应用。除了目前正在做的项目,Cameron已经在全世界很多工作室...详情
小言黄帝内经与生命科学 书籍
经典好书《小言黄帝内经与生命科学》读书内容简介: 作者简介详情
定本育儿百科 书籍
经典好书《定本育儿百科》读书内容简介:育儿时遇到的各方面问题,分为651个专题叙述,侧重育儿方法和育儿技巧。并编创了30节婴儿体操,描写细致入微,内容丰富,全面周到。以孩子为本位,不以家长为本位:站在孩子立场指导父母科学育儿,尊重孩子个性。培养创造性。培育健壮的、身心健康的孩子。以母亲为...详情
回家-世界科幻小说精品 书籍
经典好书《回家-世界科幻小说精品》读书内容简介:家的故事。在未来的世界里,地球今非昔比。随着人类的过度开发、过度污染以及异常疾病(如爱滋病等)的流行,地球环境极度恶化,地球人口急剧减少。来自遥远太空的外星人以伪善的面孔示人,却另有一个野心勃勃的计划。面对不怀好意的外星人,地球人也不甘示弱。一场太空...详情
神話と科学 书籍
经典好书《神話と科学》读书内容简介:の学問体系はその基盤を大きく揺り動かされた。神話研究に導かれたネオ・ロマン主義や表現主義などの文化運動は、知の新しい形態を求めて大学の学問に鋭く対立した。ウェーバーの講演「職業としての学問」は、このような状況下でなされた。本書はウェーバーの学問論と人...详情