VIP会员
作者:CSDN
出版社:CSDN《程序员》
ISBN:1111111111117
VIP会员免费
(仅需0.8元/天)
¥ 40000.0
温馨提示: 价值40000元的1000本电子书,VIP会员随意看哦!
电子书推荐
-
谷歌与MIT联袂巨著:《计算机科学的数学》 评分:
该书用了千页的篇幅讲述了五大板块的内容。其中第一篇就由证明到数据型讲述了数学分析的基本内容,该篇幅为计算机科学的开发者们提供了宝贵的推理和逻辑演绎能力。随后在第二篇「结构」中,该书以数论开始讲述,首先就重点介绍了数论的主题整数集的性能,并由此衍生到计算机科学最基础的结构图论(Graphs)或者说是网络(networks)。在随后的两章节中,该书又向我们介绍了计算理论和概率论,这一部分在我们构建机器学习模型时十分重要和有效。 在该书中,作者在第四章着重介绍了对机器学习算法有重要作用的概率论,其中从概率论那一部分的目录和简介可以看出来作者主要讲述了基本的概率定义和数字特征与假设检验基础,随后由这些基本概率论的定义引出了统计学模型,包括中心极限定理,切比雪夫不等式和马尔可夫理论等重要内容。而这些统计学概念和模型却又正好是机器学习的方法基础。下面让我们一起来看看该书的章节目录: I 数学分析(Proofs) 简介(Introduction) 0.1 参考文献(References) 1 什么是证明?(What is a Proof?) 1.1 命题(Propositions) 1.2 谓词(Predicates) 1.3 公理化方法(The Axiomatic Method) 1.4 我们的公理(Our Axioms) 1.5 证明命题的含义(Proving an Implication) 1.6 证明「有且仅有」(Proving an「If and Only If」) 1.7 案例证明(Proof by Cases) 1.8 反证法(Proof by Contradiction) 1.9 证明的实战演练(Good Proofs in Practice) 1.10 参考文献(References) 2 良序原则(The Well Ordering Principle) 2.1 良序证明(Well Ordering Proofs) 2.2 良序证明模式(Template for Well Ordering Proofs) 2.3 素数因子分解(Factoring into Primes) 2.4 良序集合(Well Ordered Sets) 3 逻辑公式(Logical Formulas) 3.1 命题中的命题(Propositions from Propositions) 3.2 计算机程序中的命题逻辑(Propositional Logic in Computer Programs) 3.3 等价性和有效性(Equivalence and Validity) 3.4 命题的代数(The Algebra of Propositions) 3.5 SAT 问题(The SAT Problem) 3.6 谓词公式(Predicate Formulas) 3.7 参考文献(References) 4 数学上的数据类型(Mathematical Data Types) 4.1 集合(Sets) 4.2 序列(Sequences) 4.3 函数(Functions) 4.4 二元关系(Binary Relations) 4.5 有限基数(Finite Cardinality) 5 简介(Induction) 5.1 一般归纳法(Ordinary Induction) 5.2 强归纳法(Strong Induction) 5.3 强归纳法、一般归纳法和良序法(Strong Induction vs. Induction vs. Well Ordering) 6 状态机(State Machines) 6.1 状态和转换(States and Transitions) 6.2 不变量原则(The Invariant Principle) 6.3 部分正确性和终止(Partial Correctness & Termination) 6.4 稳定婚姻问题(The Stable Marriage Problem) 7 递归数据型(Recursive Data Types) 7.1 递归定义和结构归纳法(Recursive Definitions and Structural Induction) 7.2 Matched Brackets 字符串(Strings of Matched Brackets) 7.3 非负整数递归函数(Recursive Functions on Nonnegative Integers) 7.4 算术表达式(Arithmetic Expressions) 7.5 递归数据型在计算机科学中的简介(Induction in Computer Science) 8 无限集(Infinite Sets) 8.1 无限基数集(Infinite Cardinality) 8.2 停止问题(The Halting Problem) 8.3 集合的逻辑(The Logic of Sets) 8.4 这些真的有效吗?(Does All This Really Work?) II 结构(Structures) Introduction 9 数论(Number Theory) 9.1 可分性(Divisibility) 9.2 最大公约数(The Greatest Common Divisor) 9.3 神秘的素数(Prime Mysteries) 9.4 算术的基本定理(The Fundamental Theorem of Arithmetic) 9.5 Alan Turing 9.6 模运算(Modular Arithmetic) 9.7 余数运算(Remainder Arithmetic) 9.8 Turing's Code (Version 2.0) 9.9 乘法逆运算和消除(Multiplicative Inverses and Cancelling) 9.10 欧拉定理(Euler's Theorem) 9.11 RSA 公钥加密(RSA Public Key Encryption) 9.12 SAT 与它有什么关系?(What has SAT got to do with it?) 9.13 参考文献(References) 10 有向图和部分排序(Directed graphs & Partial Orders) 10.1 顶点度(Vertex Degrees) 10.2 步长与路径(Walks and Paths) 10.3 临近矩阵(Adjacency Matrices) 10.4 Walk Relations 10.5 有向非循环图标和时序(Directed Acyclic Graphs & Scheduling) 10.6 局部排序(Partial Orders) 10.7 通过集合遏制表征局部排序(Representing Partial Orders by Set Containment) 10.8 线性排序(Linear Orders) 10.9 乘积排序(Product Orders) 10.10 等价关系(Equivalence Relations) 10.11 关系属性总结(Summary of Relational Properties) 11 通信网络(Communication Networks) 11.1 路由(Routing) 11.2 Routing Measures) 11.3 网络设计(Network Designs) 12 简单图(Simple Graphs) 12.1 Vertex Adjacency and Degrees) 12.2 美国性别人口统计(Sexual Demographics in America) 12.3 一些常见的图(Some Common Graphs) 12.4 同构(Isomorphism) 12.5 二部图&匹配(Bipartite Graphs & Matchings) 12.6 Coloring 12.7 Simple Walks 12.8 连接(Connectivity) 12.9 森林和树(Forests & Trees) 12.10 References 13 平面图(Planar Graphs) 13.1 在平面中绘制图(Drawing Graphs in the Plane) 13.2 平面图的定义(Definitions of Planar Graphs) 13.3 欧拉公式(Euler's Formula) 13.4 在平面图中限定边的数量(Bounding the Number of Edges in a Planar Graph) 13.5 Returning to K5 and K3;3 13.6 Coloring Planar Graphs 13.7 Classifying Polyhedra 13.8 平面图的另一种特征化(Another Characterization for Planar Graphs) III 计数(Counting) Introduction 14 逼近求和(Sums and Asymptotics) 14.1 养老金的价值(The Value of an Annuity) 14.2 幂级数求和 Sums of Powers) 14.3 逼近求和(Approximating Sums) 14.4 Hanging Out Over the Edge) 14.5 乘积(Products) 14.6 Double Trouble 14.7 渐进的符号表示(Asymptotic Notation) 15 基数法则(Cardinality Rules) 15.1 由计算另一项计算该项(Counting One Thing by Counting Another) 15.2 计算序列(Counting Sequences) 15.3 广义乘积法则(The Generalized Product Rule) 15.4 除法法则(The Division Rule) 15.5 子集计算(Counting Subsets) 15.6 重复序列(Sequences with Repetitions) 15.7 Counting Practice: Poker Hands 15.8 鸽巢原理(The Pigeonhole Principle) 15.9 包含与排斥(Inclusion-Exclusion) 15.10 组合证明(Combinatorial Proofs) 15.11 References 16 母函数(Generating Functions) 16.1 无穷级数(Infinite Series) 16.2 使用母函数进行计数(Counting with Generating Functions) 16.3 部分分式(Partial Fractions) 16.4 求解线性递归(Solving Linear Recurrences) 16.5 形式幂级数(Formal Power Series) 16.6 References IV 概率论(Probability) Introduction 17 事件和概率空间(Events and Probability Spaces) 17.1 Let's Make a Deal 17.2 四步法(The Four Step Method) 17.3 Strange Dice 17.4 生日原则(The Birthday Principle) 17.5 集合论和概率论(Set Theory and Probability) 17.6 References 18 条件概率(Conditional Probability) 18.1 Monty Hall Confusion 18.2 定义和符号(Definition and Notation) 18.3 条件概率的四步法(The Four-Step Method for Conditional Probability) 18.4 为什么树状图如此有效(Why Tree Diagrams Work) 18.5 全概法则(The Law of Total Probability) 18.6 辛普森悖论(Simpson's Paradox) 18.7 独立性(Independence) 18.8 相互独立性(Mutual Independence) 18.9 概率与置信度(Probability versus Confidence) 19 随机变量(Random Variables) 19.1 随机样本(Random Variable Examples) 19.2 独立性(Independence) 19.3 分布函数(Distribution Functions) 19.4 期望(Great Expectations) 19.5 线性期望(Linearity of Expectation) 20 平均偏差(Deviation from the Mean) 20.1 马尔可夫定理(Markov‘s Theorem) 20.2 切比雪夫定理(Chebyshev's Theorem) 20.3 方差的性质(Properties of Variance) 20.4 随机样本估计(Estimation by Random Sampling) 20.5 估计置信度(Confidence in an Estimation) 20.6 随机变量加和(Sums of Random Variables) 20.7 Really Great Expectations 21 随机步(Random Walks) 21.1 Gambler’s Ruin 21.2 图表中的随机步(Random Walks on Graphs) V Recurrences Introduction 22 Recurrences 22.1 The Towers of Hanoi 22.2 Merge Sort 22.3 Linear Recurrences 22.4 Divide-and-Conquer Recurrences 22.5 A Feel for Recurrences 参考书目(Bibliography) 符号词汇表(Glossary of Symbols) 索引(Index)
上传时间:2017-03 大小:12.83MB
- 11.21MB
计算机科学数学(中文)
2009-10-25这是关于计算机数学的重要知识,数学在计算机中是很重要的工具
- 4.53MB
计算机科学与数学(郭百宁).pdf
2019-10-02计算机科学与数学,郭百宁
- 102KB
计算机科学技术.pdf
2020-03-25计算机科学与技术要学的课程
- 3.59MB
计算机科学的基础(中文版).epub
2018-04-16本书全面而详细地阐述了计算机科学的理论基础,从抽象概念的机械化到各种数据模型的建立,用算法、数据抽象等核心思想贯穿各个主题,很好地兼顾了学科广度和主题深度,帮助读者培养计算机领域的大局观,学习真正的计算机科学。
- 8.61MB
MIT开放教程计算机科学数学
2009-04-22MIT开放教程计算机科学数学,这是关于计算机基础离散数学的教程,有别于国内传统教程,内容风趣而充实。
- 19.50MB
MIT 6.042J:面向计算机科学的数学(MCS).pdf
2024-02-03MIT 6.042J:面向计算机科学的数学(MCS)
- 17.88MB
MIT算法教材:计算机经典书目 算法导论
2009-12-09计算机权威经典丛书 算法导论 读后真的对算法有了透彻的认识,很不错的思想
- 674KB
MIT 计算机科学导论及Python编程 ppt 课件
2017-09-06公开课资源,MIT 计算机科学导论及Python编程 ppt 课件MIT 计算机科学导论及Python编程 ppt 课件MIT 计算机科学导论及Python编程 ppt 课件MIT 计算机科学导论及Python编程 ppt 课件MIT 计算机科学导论及Python编程 ...
- 29.20MB
麻省理工学院公开课:计算机科学与编程导论的课件与习题(英文版)
2018-08-08麻省理工学院公开课:计算机科学与编程导论的课件与习题(英文版)
- 18.69MB
具体数学:计算机科学基础 中文高清完整版 第1版_s10279916高清-R. L格雷厄姆,Knuth著-庄心谷 译(带完整书签和封面)
2014-05-07具体数学 中文 第1版_s10279916高清-R. L格雷厄姆,Knuth著-庄心谷 译(带完整书签,封面),1992年西安电子科技大学出版社出版,堪称史上最清晰版,没有之一~
- 7.31MB
具体数学-计算机科学基础-课件.zip
2020-04-28《具体数学:计算机科学基础:第2版》是一本在大学中广泛使用的经典数学教科书.书中讲解了许多计算机科学中用到的数学知识及技巧,教你如何把一个实际问题一步步演化为数学模型,然后通过计算机解决它,特别着墨于算法分析方面.其主要内容涉及和式、整值函数、数论、二项式系数、特殊的数、生成函数、离散概率、渐近式等,都是编程所必备的知识.另外,本书包括了六大类500 多道习题,并给出了所有习题的解答,有助读者加深书中内容的理解 [1] . 《具体数学:计算机科学基础:第2版》面向从事计算机科学、计算数学、计算技术诸方面工作的人员,以及高等院校相关专业的师生. 作者: ronald l. graham(葛立恒):著名数学家,美国加州大学圣迭戈分校计算机与信息科学专业教席(jacobs endowed chair),at&t实验室研究中心荣誉首席科学家,美国数学学会前任主席。 donald e. knuth(高德纳):著名计算机科学家,算法与程序设计技术的先驱者、斯坦福大学计算机系荣休教授、计算机排版系统tex和metafont字体系统的发明人,因诸多成就以及大量富于创造力和具有深远影响的著作(19部书,160篇论文)而誉满全球。 oren patashnik:著名计算机科学家,bibtex的创始人之一,是位于拉荷亚的通信研究中心的研究员。他1976年毕业于耶鲁大学,后来在斯坦福大学师从knuth,1980年就职于贝尔实验室。1985年与leslie lamport合作创建了bibtex(latex的一种工具,用于管理文献、产生文献目录)。 目录: 《具体数学:计算机科学基础:第2版》 第1章 递归问题 1 1.1 河内塔 1 1.2 平面上的直线 4 1.3 约瑟夫问题 7 习题 14 第2章 和式 18 2.1 记号 18 2.2 和式和递归式 21 2.3 和式的处理 25 2.4 多重和式 28 2.5 一般性的方法 35 2.6 有限微积分和 无限微积分 39 2.7 无限和式 47 习题 52 第3章 整值函数 56 3.1 底和顶 56 3.2 底和顶的应用 58 3.3 底和顶的递归式 66 3.4 mod:二元运算 68 3.5 底和顶的和式 72 习题79 第4章数论 85 4.1整除性 85 4.2素数 88 4.3素数的例子 89 4.4阶乘的因子93 4.5互素 96 4.6mod:同余关系 103 4.7独立剩余105 4.8进一步的应用 107 4.9ψ函数和μ函数110 习题119 第5章二项式系数 126 5.1基本恒等式126 5.2基本练习143 5.3处理的技巧154 5.4生成函数164 5.5超几何函数170 5.6超几何变换 180 5.7部分超几何和式186 5.8机械求和法 191 习题 202 第6章特殊的数 214 6.1斯特林数 214 6.2欧拉数 223 6.3调和数 228 6.4调和求和法 233 6.5伯努利数 237 6.6斐波那契数244 6.7连项式 252 习题259 第7章生成函数268 7.1多米诺理论与换零钱 268 7.2基本策略 277 7.3解递归式282 7.4特殊的生成函数 294 7.5卷积 296 7.6指数生成函数 305 7.7狄利克雷生成函数 310 习题312 第8章离散概率 320 8.1定义 320 8.2均值和方差 325 8.3概率生成函数 331 8.4抛掷硬币 336 8.5散列法 344 习题 357 第9章渐近式 367 9.1量的等级 368 9.2大O记号370 9.3O运算规则 376 9.4两个渐近技巧 388 9.5欧拉求和公式393 9.6最后的求和法398 习题410
- 9.7MB
计算机数学-Math for CS(MIT课程资料)
2008-11-07MIT OpenCourse 2005 Spring Mathematics for Computer Science 麻省理工2005春季课程《计算机数学及应用》的课程资料,包括课件、习题及答案、测试题目及答案等,使用教材为《离散数学与其应用》(Discrete Mathematics and its Applications)第四版,国内有中英文版,可以配套自学。课程内容包括数论、图论、离散数学、逻辑代数等,计算机科学必修内容。
- 1.50MB
麻省理工学院公开课:计算机科学及编程导论(公开课的中英文字幕)
2022-09-20John Guttag - 麻省理工学院计算机科学与工程系的教授 - 里贾纳大数学和学物理学士、麻省理工学院数学博士学位 学院介绍:西卡罗来纳州大学成立于1889年,为北卡罗莱纳州西部地区提供高等教育和职业机会。自成立...
- 214KB
MIT机电工程与计算机科学系【本科生课程】6.042J.计算机科学数学.Mathematics.for.Computer.Science
2015-01-23这是MIT【本科生课程】6.002详细指导文档!
- 5KB
麻省理工开放课程:计算机科学及编程导论1-7练习代码
2011-04-05麻省理工开放课程:计算机科学及编程导论1-7练习代码
- 5.49MB
MIT 计算机科学专业 离散数学
2022-05-02MIT 计算机科学专业 离散数学
- 289KB
MIT电气工程和计算机科学系本科课程体系
2018-04-14MIT电气工程和计算机科学系本科课程体系评介
- 125B
[MIT课程]计算机科学及编程导论视频教程[中英字幕]
2019-07-22资源名称:[MIT课程]计算机科学及编程导论视频教程[中英字幕]资源目录:【】06039b1c783a8fa3f60f611ffc2dda11【】0c793b5dd05b7f677279ce26997d77b3【】11c609aef12a8492f89ac9619ff5b999【】1769b5bca73d0258201c9...
- 569KB
MIT课程笔记:数据可视化会撒谎.pdf
2022-07-11MIT课程笔记:数据可视化会撒谎.pdf 学习资料 复习资料 教学资源
- 8KB
java版电商源码-awesome-cs-courses-zh:计算机公开课推荐
2021-06-04CS61a:计算机程序的构造与解释(Python) 数据结构·算法 斯坦福 CS106b:程序设计抽象 UCB CS61b:数据结构(Java) 普林斯顿 Algs4:算法 系统 nand2tetris CMU 15-213:CSAPP MIT 6.828:操作系统 UCB CS61c:...
- 305KB
麻省理工学院公开课:计算机科学及编程导论_代码.
2019-01-15MIT的这门课程适用于那些拥有很少或没有编程经验的学生,它致力于使学生理解计算机在解决问题中的作用,并且帮助学生,不论其专业,使他们对于能够完成有用的小程序的目标充满信心
- 12KB
[计算机科学及编程导论][MIT][相关代码(Python)]cs600-2008
2011-09-18[计算机科学及编程导论][MIT][相关代码(Python)]cs600-2008 # 翻译制作:ocourse.org # 课程讨论版:http://ocourse.org/bbs/forum.php?mod=forumdisplay&fid=29 # by yoeo24
- 681KB
MIT调研显示:机器学习广泛应用于商业领域中科院信息科技战略情报.pdf
2021-09-24MIT调研显示:机器学习广泛应用于商业领域中科院信息科技战略情报.pdf
- 1.33MB
《MIT JOS Lab1: Booting a PC》实验代码
2019-09-10《MIT JOS Lab1: Booting a PC》实验代码,这是2019.9.10日为止最全的代码,满分版本,当然,我也查过了许多资料,再次做了资料整合以及一些我自己的理解。希望能使大家受益。
- 237KB
MIT电气工程和计算机科学系本科课程体系评介.pdf
2010-05-08看看一流大学是如何培养IT人才的! MIT电气工程和计算机科学系本科课程体系评介.pdf
- 433KB
[MIT计算机科学及编程导论.讲座视频].mit-6-00-f08-handout
2011-04-26“MIT计算机科学及编程导论”网上公开课的讲义 http://v.163.com/special/opencourse/bianchengdaolun.html
- 8.89MB
Vector Davinci官方帮助配置使用手册(AutoSAR).pdf
2019-08-19Vector官方帮助文档,配置使用手册。从新建DaVinci工程开始一步一步的讲解如何配置工程;如何编译生成C代码;如何导入CDD、DBC等文件。手册讲解细致,可以说是手把手教学了
- 5.6MB
c++入门,核心,提高讲义笔记
2021-11-27最详细的c++入门,核心,提高讲义笔记,看会成为大佬没问题,下载后有疑问请私信。
- 75.21MB
离散数学及其应用 第八版 奇数编号练习答案.pdf
2021-01-23离散数学及其应用 第八版本科教学版答案,有需要其他版本到的还可以去华章图书官网下载 地址:http://www.hzbook.com/