计算机科学

介绍微分形式，以及外微分和对微分形式的积分。

探索函数式编程背后美妙的数学理论。