欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
微积分
微积分学也称微分积分学(拉丁语:Calculus),主要包括微分学和积分学两个部分,是研究极限、微分、积分和无穷级数等的一个数学分支。更本质的讲,微积分学是一门研究连续变化的学问。