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

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

经典好书《美国初中主流理科教材•科学探索者》读书内容简介:他们提出问题，寻求答案，收集证据以及设计实验。他们致力于回答“是什么”以及“为什么”。这一版由帕迪利亚主编的《地球内部(第3版美国初中主流理科教材)/科学探索者》更加生动有趣，精彩纷呈，充满了各种学习的机会。令人兴奋的最新科学内容，赏心...详情

经典好书《不列颠百科全书(国际中文版)》读书内容简介:出版和美国不列颠百科全书公司最新合作的新版本。这是一部大型的综合性参考工具书。全书共20卷，1-18卷为条目正文，19-20卷为索引；共收条目81600余条，附有图片15300余幅，地图250幅；总字数约4300万字。　　一、历史悠久、最具权威的百科...详情

经典好书《科幻中的物理学》读书内容简介:熔科学、幻想、现实于一炉◎内容简介撷取12个最具科 幻 色彩的主题，横跨经典与现代物理学主要领域。作者以物理学的视角切入，解构经典科幻作品的科学设置，回应时下热门话题，游刃于科学、幻想、社会之间，引殿堂学问释普罗迷思...详情

经典好书《高中物理(必修1)(配教科版)-教材完全解读-王后雄学案(课标本)》读书内容简介:)(JKWL)》以课标为依据，通过“三维目标”全面解读教材学习要求，提供总体的学习策略，提出具体的学习要诀，体现目标控制的学习规则。教材知识点和方法点，帮你形成答题要点、解题思维，理清解题思路，揭示考点实质和内涵。针对本节重点、难点、考点及考试能力达...详情

经典好书《中国书法理论体系》读书内容简介: 作者简介详情

经典好书《复杂经济系统中的行为理性与异质性预期》读书内容简介:的理性进行互动的。基于此认识，本书提出了复杂经济系统中的行为理性与异质性预期理论,并通过经验特征事实和实验室实验来验证非线性动力学模型。20世纪80年代末以来，复杂性建模范式就一直被一些经济学家和来自物理学、计算机科学和生物学等各个学科领域的科学家所...详情

经典好书《中国地理百科丛书《金陵地》》读书内容简介:会的成员全部为中国科学院地学部的院士。包括孙鸿烈、赵其国、刘昌明、郑度、王颖、陆大道、姚檀栋、傅伯杰、崔鹏。·编辑委员会·该丛书的编辑委员会成员来自各省（市）的地理学会负责人、业内专家及相关出版负责人。·撰稿...详情

经典好书《人文科學中大理論的復歸》读书内容简介: 昆廷·斯金纳(Skinner, Quentin)，1940年生，英国剑桥大学钦定近代史讲座教授，是西方学术界思想史研究主流“剑桥学派”的代表人物，其在学术界的地位如芬兰学者帕罗内所说，在思想史研究中掀起了“斯金纳的革命”。作者简介详情