DOMAIN / mathematics
从结构、变化与不确定性出发，建立可迁移的推理语言。
课程结构
集合、逻辑、函数与证明语言。
向量、线性映射与空间结构。
极限、导数、积分与连续变化。
目标、约束与数值求解。
随机现象的结构与度量。
学习路径