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

经典好书《完美母女关系的秘密》读书内容简介:才是对母亲养育之恩最好的报答...................※编辑推荐※恋爱不顺利？结不了婚？做什么都会换来母亲的唠叨？那你有没有想过问题出在和老妈的相处模式上？母亲的价值观，无时无刻不在左右着你每一个...详情

经典好书《秘めゴトは部活のあとで…。》读书内容简介: 作者简介详情

经典好书《科学革命的结构》读书内容简介:1922—1996）， 美国物理学家、科学哲学家、科学史家，被誉为“二战后最具影响力的一位以英文写作的哲学家”（理查德·罗蒂语）。库恩于1949年获物理学博士，后执教于加州大学、麻省理工学院等，任麻省理工学院语言学哲学劳伦斯·洛克菲勒名...详情

经典好书《神秘火焰》读书内容简介:如作者的风格所表现的那样，本篇小说同样具有神秘与恐怖色彩，小说以神秘的火焰为中心，围绕引物而展开故事。在安迪和维姬还在上大学的时候，他们为了赚钱参与了一次实验，服用了一种叫做Lot-6的化学品。他们结了婚，现在已经拥有了一个9岁的女儿莎...详情

经典好书《蒋氏秘档与蒋介石真相》读书内容简介:1960年毕业于北京大学中文系。现为中国社会科学院荣誉学部委员、研究生院教授、中央文史研究馆馆员、中国社会科学院近代史研究所研究员、研究生院教授博导，南京大学民国史研究中心客座教授、中国现代文化学会常务副会长、中共党史学会常务理事、中国史学会理事、中...详情

经典好书《知的生産の技術》读书内容简介:はあまり教えてくれない。メモのとり方、カードの利用法、原稿の書き方など基本的技術の訓練不足が研究能力の低下をもたらすと考える著者は、長年にわたる模索の体験と共同討論の中から確信をえて、創造的な知的生産を行なうための実践的技術についての提案を試みる。<...详情

经典好书《日知录校注(上中下)》读书内容简介:生之志舆业皆在其中」。上世纪三十年代前期，是援庵先生学术、教学与思想进一步深化的时期。在学术上，他对宗教史、元史以及历史文献学的几个分支史讳学、校勘学、年代学的研究．这时都已取得了重要的成就，酝酿着新的研究课题。<...详情

经典好书《新日本语能力考试N2语言知识》读书内容简介:语法)完全解析&模拟试题》是以“新日本语能力考试指南”为基础，经过了彻底的分析和研究产生的结晶。Step 1新日本语能力考试指南简单介绍新日本语能力考试的题型构成。Step 2语言知识（文字•词汇） 1.出题方向及对策 2...详情

经典好书《微软的秘密》读书内容简介:这个全球最大的软件公司进行了深入的剖析，作者将重点放在对微软内部运作机制和市场营销手段的分析上，为读者展示了每一个软件公司都想知道的秘密——软件开发和商业策略的之间的应该如可互动与协作，以赢得利润。专家评价“将成为计算机产业的标准参考书”。<...详情