欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
我与数学物理的1000个日夜
来自开放百科 - 灰狐
(版本间的差异)
(以“我与数学物理的1000个日夜 起始日期:2017.08.07 ==简介== 数学、物理是自然科学、人类文明的两块基石。 数学其实是基于物...”为内容创建页面) |
小 (→日志) |
||
第10行: | 第10行: | ||
==日志== | ==日志== | ||
*2017.08.07(1):《程序员的数学2 概率统计》[https://courses.edx.org/courses/course-v1:TsinghuaX+60240013x+1T2017/course/ 清华大学的组合数学MOOC] 广义的组合数学(英语:Combinatorics)就是离散数学,狭义的组合数学是组合计数、图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之,组合数学是一门研究可数或离散对象的科学。随着计算机科学的日益发展,组合数学的重要性也日渐凸显,因为计算机科学的核心内容是使用算法处理离散数据。 | *2017.08.07(1):《程序员的数学2 概率统计》[https://courses.edx.org/courses/course-v1:TsinghuaX+60240013x+1T2017/course/ 清华大学的组合数学MOOC] 广义的组合数学(英语:Combinatorics)就是离散数学,狭义的组合数学是组合计数、图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之,组合数学是一门研究可数或离散对象的科学。随着计算机科学的日益发展,组合数学的重要性也日渐凸显,因为计算机科学的核心内容是使用算法处理离散数据。 | ||
+ | *2017.08.08(2):《深度学习》第一部分:应用数学与机器学习基础:线性代数、概率与信息论、数值计算做了介绍,准备通过[[MATLAB]]进行数学相关的学习。 | ||
==链接== | ==链接== | ||
[[category:mathematics]] | [[category:mathematics]] |
2017年8月8日 (二) 12:56的版本
我与数学物理的1000个日夜
起始日期:2017.08.07
简介
数学、物理是自然科学、人类文明的两块基石。
数学其实是基于物理的一门科学?数学是宇宙中存在的科学,还是只是人类的假设?
日志
- 2017.08.07(1):《程序员的数学2 概率统计》清华大学的组合数学MOOC 广义的组合数学(英语:Combinatorics)就是离散数学,狭义的组合数学是组合计数、图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之,组合数学是一门研究可数或离散对象的科学。随着计算机科学的日益发展,组合数学的重要性也日渐凸显,因为计算机科学的核心内容是使用算法处理离散数据。
- 2017.08.08(2):《深度学习》第一部分:应用数学与机器学习基础:线性代数、概率与信息论、数值计算做了介绍,准备通过MATLAB进行数学相关的学习。
链接
分享您的观点