剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 40570 与计算机科学中的数学 相关的结果,耗时31 ms rss sitemap
标签:科学史,数学,科学,科普,物理学,历史,自然科学,科学技术, 原作名:
作者:玛丽·乔·奈 编 出版年月:2020-02-20 … 页数: 607页 最新访问:2020-12-23 … 网友评分:
经典好书《剑桥科学史(第五卷)近代物理科学与数学科学》读书内容简介: 作者简介详情
标签:大数据,数据科学,计算机,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多个命令行工具的“数据科学工具箱”,迅速建立自己的数据分析环...详情
标签:概率论,统计,数学, 原作名:High-Dimensional Probability
作者:罗曼·韦尔希宁(Roman Vershynin) 出版年月:2020-05-01 … 页数: 240页 最新访问:2021-03-23 … 网友评分:
经典好书《高维概率及其在数据科学中的应用》读书内容简介:用,涵盖Hoeffding不等式和Chernoff不等式等经典结果以及Matrix Bernstein不等式等现代发展,还介绍了基于随机过程的强大方法,包括Slepian、Sudakov和Dudley不等式等工具,以及基于VC维数的通用链和界。全书使...详情
标签: 原作名:
作者:无 出版年月:2020-02-20 … 页数:None页 最新访问:2020-03-03 … 网友评分:
经典好书《近世代数引论(第4版)/中国科学技术大学精品教材》读书内容简介: 作者简介详情
标签:计算机, 原作名:
作者:胡伟武 出版年月:2020-02-20 … 页数: 264页 最新访问:2020-05-29 … 网友评分:
经典好书《计算机体系结构(第2版中文版计算机科学与技术学科研究生系列教材)/计算机科学与技术学》读书内容简介:教材。作者结合自身从事国产龙芯高性能通用处理器研制的实践,以准确精练、生动活泼的语言,将计算机体系结构的知识深入浅出地传授给读者。全书共13章,第1~4章从计算机体系结构的研究内容和发展趋势、二进制和逻辑电路、指令系统结构等方面介绍计算...详情
标签:数学,科普,儿童,可怕的科学,教育,给孩子准备,育儿,童书, 原作名:
作者:卡佳坦•波斯基特 出版年月:2020-02-20 … 页数: 1954页 最新访问:2020-03-04 … 网友评分: 9.4
经典好书《可怕的科学-经典数学系列套装-全12册》读书内容简介: 可怕的科学·经典数学系列(套装共12册),ISBN:9787530128220,作者:(英)卡佳坦·波斯基特(Poskitt,K.) 著 刘阳 等 译 (英)丹尼奥·波斯盖特(Postgate,D.),(英)菲利浦·瑞弗(Reeve,P.) 绘作者简介详情
标签:数据分析,统计,机器学习,R,统计学,数据挖掘,akb,CS, 原作名:Computer Age Statistical Inference: Algorithms, Evidence, and Data Science
作者:布拉德利·埃夫隆 出版年月:2019-06-04 … 页数: 286页 最新访问:2020-03-12 … 网友评分:
经典好书《计算机时代的统计推断:算法、演化和数据科学》读书内容简介:d University, CaliforniaBradley Efron is Max H. Stein Professor, Professor of Statistics, and Professor of Biomedical ...详情
标签:计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,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...详情
标签:数学,哲学,科普,科学哲学,科学,weyl,数学哲学,科学人文, 原作名:Philosophy of Mathematics and Natural Science
作者:赫尔曼·外尔 出版年月:2020-02-20 … 页数: 380页 最新访问:2020-10-12 … 网友评分: 8.3
经典好书《数学与自然科学之哲学》读书内容简介: 《数学与自然科学之哲学》原书以德文写作,发表于1926年,反映了20世纪20年代的数学与物理学以及数学基础的大发展与大争论。1949年的英译本,又以6个附录的形式反映了其后20年左右的科学发展,而且论述的范围也超出了物理学与数学,涉及其他学科的若士基本问题。作者简介详情