剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 15036 与数学天书中的证明 相关的结果,耗时5 ms rss sitemap
标签:计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS, 原作名:Logic in Computer Science:Modelling and Reasoning about Systems
作者:胡思 出版年月:2020-02-20 … 页数: 427页 最新访问:2020-04-04 … 网友评分: 8.6
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
标签:森博嗣,推理,日本,S&M系列,小说,犀川&萌绘系列,日系推理,推理小说, 原作名:笑わない数学者
作者:[日]森博嗣 出版年月:2020-02-20 … 页数: 305页 最新访问:2020-05-02 … 网友评分: 7.0
经典好书《不会笑的数学家》读书内容简介:”居住的三星馆举办。正当大家在观看天体运转模型时,矗立在庭院中央的一尊猎户座铜像突然凭空消失。当天王寺博士脱口而出:“谁能够解开这个谜”时,铜像又再度出现,但是参加舞会的其中一位女生却离奇死亡。不仅如此,还在死者的房间里发现另一具尸体。应邀参加的犀川...详情

数学概观 书籍

标签:数学,科普,数学概观,戈丁,数学方法,math,数学史,微积分, 原作名:
作者:[瑞典] L. 戈丁 出版年月:2020-02-20 … 页数: 344页 最新访问:2020-05-22 … 网友评分: 8.4
经典好书《数学概观》读书内容简介: 书中分别讨论数论、代数、几何及线性代数、极限、连续性及拓扑学、微分、积分、级数和概率,以及数学模型与现实等。作者简介详情
标签:数学,MIT,微积分,科学,math,數學,微分几何,娄, 原作名:Calculus With Analytic Geometry
作者:乔治 F.西蒙斯 (George F.Simmons) 出版年月:2020-02-20 … 页数: 886页 最新访问:2020-05-22 … 网友评分:
经典好书《国外优秀数学教材系列》读书内容简介: 作者简介详情
标签: 原作名:Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert
作者:Felix Klein 出版年月:2020-02-20 … 页数: 416页 最新访问:2020-05-22 … 网友评分:
经典好书《クライン:19世紀の数学》读书内容简介: 本書は、19世紀後半を代表する数学者F.クライン(1849―1925)が著した19世紀数学史に関する名著の本邦初の翻訳。作者简介详情
标签:大数据,数据科学,计算机,Python,datascience,数据挖掘,Linux,数据分析, 原作名:Data Science at the Command Line
作者:[荷] Jeroen Janssens 出版年月:2020-02-20 … 页数: 188页 最新访问:2020-05-22 … 网友评分: 7.6
经典好书《命令行中的数据科学》读书内容简介:用命令行这个灵活的工具提供了重要参考。作者讲解了众多实用的命令行工具,以及如何使用它们高效地获取、清洗、探索和建模数据。无论你使用Windows、OS X,还是Linux,都可以安装包含80多个命令行工具的“数据科学工具箱”,迅速建立自己的数据分析环...详情
标签:数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测, 原作名:
作者:哈斯 出版年月:2020-02-20 … 页数: 277页 最新访问:2020-05-23 … 网友评分: 7.1
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
标签:儿童 数学 教育,育儿,儿童教育,数学,教育,幼儿教育,孙路弘,数学绘本, 原作名:
作者:孙路弘 出版年月:2020-02-20 … 页数:None页 最新访问:2020-05-23 … 网友评分: 9.2
经典好书《妈妈教的数学》读书内容简介:老师。如愿考入北京师范大学数学系。四年后的1985年,响应国家号召,回到母校北京师范大学附属实验中学教书。中国的教师节也是从那年开始的。不仅在课堂上授业解惑,也通过文字的形式来传播思想,把图书当作介绍数学学习方法的工具。在...详情
标签:数学,高等代数,教材,GRE,123, 原作名:
作者:张贤科 出版年月:2020-02-20 … 页数: 362页 最新访问:2020-05-23 … 网友评分:
经典好书《高等代数学》读书内容简介:,包括数与多项式,行列式,线性方程组,矩阵,线性空间,二次型,线性变换,空间分解,矩阵相似,欧空间和酉空间,双线性型,张量积与外积等。内容较深厚,便于打下优势基础;观点较新,便于适应现代数学。还有若干较深选读内容。可作为高...详情
标签:计量经济学,金融,金融工程,数据方法,经济学,MBA, 原作名:
作者:杰弗里·M·伍德里奇 出版年月:2020-02-20 … 页数: 1164页 最新访问:2020-05-23 … 网友评分:
经典好书《横截面与面板数据的计量经济分析(第二版)(经济科学译丛)(上、下册)》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理:横截面数据和面板数据。本书同时涵盖了线性和非线性模型,包括含有动态性和/或个体异质性的模型。除了一般估计框架(特别是矩方法与极大似然法)外,还详细介绍了一些特定的线性与非线性方法,包括probit和lo...详情