欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
我与数学物理的1000个日夜
来自开放百科 - 灰狐
我与数学物理的1000个日夜
起始日期:2017.08.07
简介
数学、物理是自然科学、人类文明的两块基石。
数学其实是基于物理的一门科学?数学是宇宙中存在的科学,还是只是人类的假设?
日志
- 2017.08.07(1):《程序员的数学2 概率统计》清华大学的组合数学MOOC 广义的组合数学(英语:Combinatorics)就是离散数学,狭义的组合数学是组合计数、图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之,组合数学是一门研究可数或离散对象的科学。随着计算机科学的日益发展,组合数学的重要性也日渐凸显,因为计算机科学的核心内容是使用算法处理离散数据。
- 2017.08.08(2):《深度学习》第一部分:应用数学与机器学习基础:线性代数、概率与信息论、数值计算做了介绍,准备通过MATLAB进行数学相关的学习。
- 2017.08.11(3):我的数学人生从SageMath开始,没有中文文档,我就牵头来弄 :)
- 2017.08.20(4):主攻:应用数学applied mathematics、概率统计probability statistics、数据科学data science。
- 2017.08.21(5):安装Sage,开始数学之旅。
链接
分享您的观点