![](https://img-blog.csdnimg.cn/20201014180756780.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
论文
Lean4
数学爱好者
展开
-
1.8 数学大事年表
数学大事年表 推荐约公元前3000年 埃及象形数字 公元前2400~前1600年 早期巴比伦泥版楔形文字,采用60进位值制记数法。已知勾股定理 公元前1850~前1650年 埃及纸草书(莫斯科纸草书与莱茵德纸草书),使用10进非位值制记数法 公元前1400~前1100年 中国殷墟甲骨文,已有10进制记数法 周公(公元前11转载 2014-11-29 12:18:07 · 1831 阅读 · 0 评论 -
1.6 数学方法简介
所谓方法,是指人们为了达到某种目的而采取的手段、途径和行为方式中所包含的可操作的规则或模式.人们通过长期的实践,发现了许多运用数学思想的手段、门路或程序.同一手段、门路或程序被重复运用了多次,并且都达到了预期的目的,就成为数学方法.数学方法是以数学为工具进行科学研究的方法,即用数学语言表达事物的状态、关系和过程,经过推导、运算与分析,以形成解释、判断和预言的方法. 数学方法具有以下三个基转载 2014-11-29 12:10:05 · 391 阅读 · 0 评论 -
1.0 机器学习所需的数学
从大学到现在,课堂上学的和自学的数学其实不算少了,可是在研究的过程中总是发现需要补充新的数学知识。Learning和Vision都是很多种数学的交汇场。看着不同的理论体系的交汇,对于一个researcher来说,往往是非常exciting的enjoyable的事情。不过,这也代表着要充分了解这个领域并且取得有意义的进展是很艰苦的。记得在两年前的一次blog里面,提到过和learning有关的数学。转载 2014-11-15 12:58:21 · 305 阅读 · 0 评论