欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
我与数学物理的1000个日夜
来自开放百科 - 灰狐
我与数学物理的1000个日夜
起始日期:2017.08.07
简介
数学、物理是自然科学、人类文明的两块基石。
数学其实是基于物理的一门科学?数学是宇宙中存在的科学,还是只是人类的假设?
日志
- 2017.08.07(1):《程序员的数学2 概率统计》清华大学的组合数学MOOC 广义的组合数学(英语:Combinatorics)就是离散数学,狭义的组合数学是组合计数、图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之,组合数学是一门研究可数或离散对象的科学。随着计算机科学的日益发展,组合数学的重要性也日渐凸显,因为计算机科学的核心内容是使用算法处理离散数据。
链接
分享您的观点