数学与形式科学 概览

从这里进入

• 大语言模型LLM / 大模型 / 语言模型

  通过预测下一个词元学会「说话」的模型。理解它需要计算机、概率统计与语言学三个视角——本专题把它们连成一张小地图。

二级方向（概览）

• 微积分与数学分析概览

  变化与累积的数学：导数、积分、极限。

• 线性代数概览

  向量与矩阵——机器学习的底层语言。

• 概率与统计概览

  在不确定中做推断：分布、期望、估计。

• 逻辑与离散数学概览

  推理的形式规则与可数结构。

二级方向暂为概览收录，内容页陆续开放。