剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 11640 与中国国家地理自然百科系列 相关的结果,耗时5 ms rss sitemap
标签:计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS, 原作名:Logic in Computer Science:Modelling and Reasoning about Systems
作者:胡思 出版年月:2020-02-20 … 页数: 427页 最新访问:2020-04-04 … 网友评分: 8.6
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
标签:数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测, 原作名:
作者:哈斯 出版年月:2020-02-20 … 页数: 277页 最新访问:2020-05-23 … 网友评分: 7.1
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
标签:美国教材, 原作名:
作者:帕迪利亚 (Padilla M.J.) 出版年月:2020-02-20 … 页数: 203页 最新访问:2020-12-21 … 网友评分:
经典好书《美国初中主流理科教材•科学探索者》读书内容简介:他们提出问题,寻求答案,收集证据以及设计实验。他们致力于回答“是什么”以及“为什么”。这一版由帕迪利亚主编的《地球内部(第3版美国初中主流理科教材)/科学探索者》更加生动有趣,精彩纷呈,充满了各种学习的机会。令人兴奋的最新科学内容,赏心...详情
标签:百科全书,工具书,百科,历史,科普,社会,哲学, 原作名:
作者:美国不列颠百科全书出版社 出版年月:2020-02-20 … 页数:None页 最新访问:2021-06-04 … 网友评分: 9.5
经典好书《不列颠百科全书(国际中文版)》读书内容简介:出版和美国不列颠百科全书公司最新合作的新版本。这是一部大型的综合性参考工具书。全书共20卷,1-18卷为条目正文,19-20卷为索引;共收条目81600余条,附有图片15300余幅,地图250幅;总字数约4300万字。  一、历史悠久、最具权威的百科...详情
标签:科普,物理,科幻,科学人文,科学哲学,科学,待读,*北京·商务印书馆*, 原作名:
作者:李淼 出版年月:2019-09-01 … 页数: 192页 最新访问:2020-03-09 … 网友评分:
经典好书《科幻中的物理学》读书内容简介:熔科学、幻想、现实于一炉◎内容简介撷取12个最具科 幻 色彩的主题,横跨经典与现代物理学主要领域。作者以物理学的视角切入,解构经典科幻作品的科学设置,回应时下热门话题,游刃于科学、幻想、社会之间,引殿堂学问释普罗迷思...详情
标签:物理,教材,人教版,高中,教辅,中国,盒盒,的, 原作名:
作者:无 出版年月:2020-02-20 … 页数: 210页 最新访问:2020-06-11 … 网友评分: 8.7
经典好书《高中物理(必修1)(配教科版)-教材完全解读-王后雄学案(课标本)》读书内容简介:)(JKWL)》以课标为依据,通过“三维目标”全面解读教材学习要求,提供总体的学习策略,提出具体的学习要诀,体现目标控制的学习规则。教材知识点和方法点,帮你形成答题要点、解题思维,理清解题思路,揭示考点实质和内涵。针对本节重点、难点、考点及考试能力达...详情
标签:书法,书法理论,艺术,書法,熊秉明,【文学艺术史】,X熊秉明,艺术理论, 原作名:
作者:熊秉明 出版年月:2020-02-20 … 页数: 280页 最新访问:2021-02-20 … 网友评分: 8.7
经典好书《中国书法理论体系》读书内容简介: 作者简介详情
标签:经济学,复杂系统,行为经济学,复杂,经济, 原作名:
作者:卡尔斯·霍姆斯 出版年月:2020-02-20 … 页数: 286页 最新访问:2021-04-20 … 网友评分:
经典好书《复杂经济系统中的行为理性与异质性预期》读书内容简介:的理性进行互动的。基于此认识,本书提出了复杂经济系统中的行为理性与异质性预期理论,并通过经验特征事实和实验室实验来验证非线性动力学模型。20世纪80年代末以来,复杂性建模范式就一直被一些经济学家和来自物理学、计算机科学和生物学等各个学科领域的科学家所...详情
标签:地理学,南京,待购, 原作名:
作者:中国地理百科丛书编委会 出版年月:2020-02-20 … 页数: 220页 最新访问:2021-06-20 … 网友评分:
经典好书《中国地理百科丛书《金陵地》》读书内容简介:会的成员全部为中国科学院地学部的院士。包括孙鸿烈、赵其国、刘昌明、郑度、王颖、陆大道、姚檀栋、傅伯杰、崔鹏。·编辑委员会·该丛书的编辑委员会成员来自各省(市)的地理学会负责人、业内专家及相关出版负责人。·撰稿...详情
标签:学术史,斯金纳,政治哲学,社会学,理论,文艺理论,工具书, 原作名:The Return of Grand Theory in Human Science
作者:Quentin Skinner編 出版年月:2020-02-20 … 页数:None页 最新访问:2021-07-25 … 网友评分:
经典好书《人文科學中大理論的復歸》读书内容简介: 昆廷·斯金纳(Skinner, Quentin),1940年生,英国剑桥大学钦定近代史讲座教授,是西方学术界思想史研究主流“剑桥学派”的代表人物,其在学术界的地位如芬兰学者帕罗内所说,在思想史研究中掀起了“斯金纳的革命”。作者简介详情