站内索引 / 课程与概念
搜索知识库
输入中文术语、英文别名、符号或 LaTeX。结果覆盖课程概念、正文、方程、实验、学习路径和资源，可按学科、主题、类型与难度筛选。
- article
MIT 6.041SC Probabilistic Systems Analysis and Applied Probability
介绍概率模型、随机变量、随机过程和统计推断基础的本科课程。
- article
MIT 8.03SC Physics III: Vibrations and Waves
从振子、耦合模态进入机械波、电磁波与波动方程的本科物理课程。
- article
MIT 18.01SC Single Variable Calculus
含讲义、视频、例题、习题与解答的单变量微积分自学课程。
- article
一维波动方程：从局部振动到波的传播
从受张力弦的局部受力推导一维波动方程，连接初始条件、边界条件、单位、传播速度与稳定数值离散。
physics · waves · 难度 4 · 正文可读 - article
傅里叶级数：用正交谐波展开周期函数
从三角函数正交性推导傅里叶系数，分析部分和、收敛、Gibbs 现象，并连接固定弦的模态演化。
mathematics · calculus · 难度 3 · 正文可读 - article
函数与函数图像：从对应规则到可分析的关系
把函数理解为定义域到陪域的确定对应，掌握表示、复合、反函数、图像变换和分段函数的基本方法。
mathematics · foundations · 难度 1 · 正文可读 - article
导数、方向导数与梯度
从全微分建立多变量函数的最佳线性近似，用梯度表示方向导数，并区分欧氏最陡方向、一般度量和约束条件。
mathematics · calculus · 难度 3 · 正文可读 - article
导数与微分：从变化率到局部线性化
由割线斜率的极限定义导数，推导乘积与链式法则，说明微分作为最佳局部线性近似的含义，并连接中值定理与误差估计。
mathematics · calculus · 难度 2 · 正文可读 - article
感知机与多层感知机：从线性边界到可学习的非线性
从线性阈值分类器、误分类更新与可分性出发，推导多层感知机的前向传播、张量形状、参数数量和表达能力边界。
machine-learning · neural-networks · 难度 3 · 正文可读 - article
期望、方差与协方差：分布的中心、尺度和共同变化
从分布定义期望和二阶矩，推导方差与协方差的运算规律，并区分独立、零协方差、相关和因果关系。
mathematics · probability · 难度 2 · 正文可读 - article
极限与连续性：用邻域刻画逼近
从数值逼近进入 ε-δ 定义，证明极限的唯一性与运算规则，并用连续性连接局部行为、方程求根和后续微积分。
mathematics · calculus · 难度 2 · 正文可读 - article
梯度下降：从局部下降方向到可诊断的优化过程
从一阶近似与光滑性条件推导梯度下降，分析学习率、曲率、尺度、动量和停止准则如何共同决定收敛轨迹。
mathematics · optimization · 难度 3 · 正文可读 - article
正则化：用结构偏好约束有限数据中的学习
从惩罚经验风险推导 L2 与 L1 正则化，解释尺度、贝叶斯联系、早停和数据增强，并规范超参数选择。
machine-learning · learning-theory · 难度 3 · 正文可读 - article
注意力机制：从加权平均到自注意力
从数据相关的加权平均推导缩放点积注意力，明确 query、key、value 的形状、softmax 归一化与解释边界。
machine-learning · neural-networks · 难度 4 · 正文可读 - article
特征值与特征向量：寻找线性变换的不变方向
从方向不变条件推导特征方程，区分代数与几何重数，判断对角化，并连接矩阵幂、稳定性和对称矩阵。
mathematics · linear-algebra · 难度 3 · 正文可读 - article
监督学习：从带标签样本到可检验的预测规则
建立监督学习的问题定义，区分样本、模型、损失、经验风险、验证选择与未知分布上的泛化误差。
machine-learning · learning-theory · 难度 2 · 正文可读 - article
矩阵：组织线性关系的坐标语言
从形状、行列与列向量出发，理解矩阵运算、矩阵乘法、单位矩阵、逆矩阵和分块计算的结构含义。
mathematics · linear-algebra · 难度 1 · 正文可读 - article
积分与累积：从黎曼和到微积分基本定理
从分割区间和局部贡献出发定义定积分，推导积分的基本性质与微积分基本定理，并区分净累积、几何面积和原函数。
mathematics · calculus · 难度 2 · 正文可读 - article
逻辑回归：从线性得分到二分类概率
由伯努利条件模型推导 sigmoid、对数几率、交叉熵、梯度与决策阈值，并说明线性可分和概率解释的边界。
machine-learning · learning-theory · 难度 3 · 正文可读 - article
随机变量与概率分布：从随机结果到可计算的数值规律
把随机变量定义为样本空间上的可测函数，统一理解分布函数、概率质量函数、概率密度、支持集与变量变换。
mathematics · probability · 难度 2 · 正文可读 - symbol
Y · 与 X 联合研究的随机变量
Y
- symbol
y · 输出向量
mathbf{y}
- concept
Bayes 定理
将条件概率方向反转，用先验、似然和证据计算后验概率。
mathematics · probability · 难度 2 · 详细大纲 - concept
Taylor 展开
以一点处的导数构造多项式局部近似，并用余项控制截断误差。
mathematics · calculus · 难度 3 · 详细大纲 - paper
Attention Is All You Need
提出以自注意力为核心、无需循环结构的 Transformer 架构。
- book
Introductory Statistics 2e
以代数为先修，系统介绍概率、随机变量、分布与统计推断。
- concept
Gram–Schmidt 正交化
逐步移除已有方向分量，把线性无关向量组转化为正交或标准正交基。
mathematics · linear-algebra · 难度 3 · 详细大纲 - concept
Lagrange 乘子
用乘子把等式约束并入目标函数，并从梯度平行关系推导候选解。
mathematics · optimization · 难度 4 · 详细大纲 - concept
Lagrange 力学
以作用量驻值推导广义坐标方程，把约束和对称性纳入力学描述。
physics · classical-mechanics · 难度 4 · 详细大纲 - concept
Laplace 变换
用复频率积分把微分方程转化为代数方程，并系统处理初始条件。
mathematics · calculus · 难度 4 · 详细大纲 - concept
Markov 链
用状态转移矩阵描述无记忆随机演化，并分析平稳分布和长期行为。
mathematics · probability · 难度 4 · 详细大纲 - concept
Monte Carlo 方法
通过随机采样近似期望和积分，并用方差与有效样本量评价误差。
mathematics · probability · 难度 4 · 详细大纲 - concept
Newton 方法
利用 Hessian 曲率修正梯度方向，理解二次收敛、阻尼和矩阵求解成本。
mathematics · optimization · 难度 4 · 详细大纲 - concept
Newton 运动定律
把合力与动量变化联系起来，并明确惯性系、质量和作用反作用的适用条件。
physics · classical-mechanics · 难度 2 · 详细大纲 - concept
Sturm–Liouville 理论
研究带权自伴二阶边值问题，建立正交本征函数、实本征值和函数展开。
mathematics · calculus · 难度 5 · 详细大纲 - concept
一阶最优性条件
用梯度为零、方向导数和次梯度条件判断无约束候选最优点。
mathematics · optimization · 难度 3 · 详细大纲 - concept
三角函数
从单位圆定义正弦、余弦和正切，理解周期、相位与常用恒等式。
mathematics · foundations · 难度 1 · 详细大纲 - concept
不确定性量化
区分参数、观测和模型误差，并传播其分布以给出校准的预测区间。
interdisciplinary · scientific-machine-learning · 难度 4 · 详细大纲 - concept
主成分分析
寻找数据协方差最大的正交方向，并用低秩投影压缩和去噪。
machine-learning · learning-theory · 难度 3 · 详细大纲 - concept
二分类判别
将输入映射为两个类别的概率或得分，并用决策阈值和混淆矩阵评价结果。
machine-learning · generative-models · 难度 2 · 详细大纲 - concept
优化对偶
由 Lagrangian 构造对偶函数，理解弱对偶、强对偶和对偶间隙。
mathematics · optimization · 难度 5 · 详细大纲 - concept
假设检验
用零假设下的统计量分布控制第一类错误，并解释 p 值、功效和多重比较。
mathematics · probability · 难度 3 · 详细大纲 - concept
偏微分方程
用多个自变量的偏导描述场的空间与时间变化，并区分椭圆、抛物和双曲类型。
mathematics · calculus · 难度 4 · 详细大纲 - concept
偏微分方程数值解
把空间与时间离散组合为可计算更新，检查一致性、稳定性和收敛性。
computer-science · scientific-computing · 难度 5 · 详细大纲 - concept
傅里叶变换
把非周期信号表示为连续频率成分，并连接时域卷积、频域乘法和谱宽。
mathematics · calculus · 难度 4 · 详细大纲 - concept
决策树
递归选择特征划分样本空间，并用纯度、深度和剪枝控制拟合复杂度。
machine-learning · learning-theory · 难度 3 · 详细大纲 - concept
凸函数
通过弦不等式和一阶条件刻画凸性，并说明局部最优为何成为全局最优。
mathematics · optimization · 难度 3 · 详细大纲 - concept
初值问题
给定某一时刻的状态后求解微分方程，并理解存在唯一性对演化预测的意义。
mathematics · calculus · 难度 3 · 详细大纲 - concept
功与能量守恒
由力沿路径的积分定义功，并用势能和动能追踪保守系统的状态变化。
physics · classical-mechanics · 难度 3 · 详细大纲 - concept
动态规划
通过重叠子问题和最优子结构复用中间结果，构造自顶向下或自底向上的算法。
computer-science · algorithms · 难度 3 · 详细大纲 - concept
反常积分
用极限定义无穷区间或无界被积函数的积分，并判断其收敛性。
mathematics · calculus · 难度 3 · 详细大纲 - concept
变分法
对函数空间中的泛函求驻值，推导 Euler–Lagrange 方程及边界项。
mathematics · calculus · 难度 4 · 详细大纲 - concept
变分自编码器
用可学习近似后验和重参数化梯度优化证据下界，形成连续潜在空间。
machine-learning · generative-models · 难度 5 · 详细大纲 - concept
叠加原理
说明线性方程解的线性组合仍是解，并用干涉现象展示振幅的相加与相消。
physics · waves · 难度 2 · 详细大纲 - concept
可微分物理
让数值模拟器对参数可微，以梯度方法进行系统辨识、控制和逆问题求解。
interdisciplinary · scientific-machine-learning · 难度 5 · 详细大纲 - concept
向量运算与内积
计算向量加法、数乘、范数和内积，并解释长度、夹角与相似度的几何意义。
mathematics · linear-algebra · 难度 1 · 详细大纲 - concept
命题逻辑与量词
区分命题、蕴含、等价、全称量词和存在量词，并正确否定带量词的陈述。
mathematics · foundations · 难度 1 · 详细大纲 - concept
因果表征学习
从观测与干预中学习能稳定表达生成因素和因果机制的潜在表示。
interdisciplinary · scientific-machine-learning · 难度 5 · 详细大纲 - concept
图算法
在节点和边结构上执行遍历、最短路和拓扑排序，分析可达性与依赖关系。
computer-science · algorithms · 难度 3 · 详细大纲 - concept
坐标几何
用坐标、距离、斜率和曲线方程把平面几何对象转化为可计算的代数关系。
mathematics · foundations · 难度 1 · 详细大纲 - concept
复数与复平面
用代数形式和极坐标形式表示复数，理解模、幅角、共轭与旋转缩放的联系。
mathematics · foundations · 难度 2 · 详细大纲 - concept
多项式与根
分析多项式的次数、因式分解、根及重数，并连接代数表达式与函数图像。
mathematics · foundations · 难度 2 · 详细大纲 - concept
奇异值分解
把任意矩阵分解为两次正交变换和一次轴向缩放，揭示秩与主方向。
mathematics · linear-algebra · 难度 4 · 详细大纲 - concept
常微分方程
用未知函数及其常导数描述动态规律，区分阶数、线性、自治和初值条件。
mathematics · calculus · 难度 3 · 详细大纲 - concept
序列建模
根据顺序依赖分解联合概率或条件预测，处理可变长度输入与因果掩码。
machine-learning · neural-networks · 难度 4 · 详细大纲 - concept
张成、线性无关与基
通过张成集和线性无关选择最小坐标系统，理解维数为何不依赖具体基。
mathematics · linear-algebra · 难度 2 · 详细大纲 - concept
抽样分布
研究统计量在重复抽样中的分布，为标准误、区间估计和检验建立基础。
mathematics · probability · 难度 3 · 详细大纲 - concept
数值微分
用有限差分近似导数，并平衡截断误差、舍入误差和步长选择。
computer-science · scientific-computing · 难度 3 · 详细大纲 - concept
数值积分
用求积公式近似定积分，并根据光滑性和网格细化估计误差。
computer-science · scientific-computing · 难度 3 · 详细大纲 - concept
数列与级数
研究离散序列的极限、递推关系和无穷求和，为连续极限与函数展开建立基础。
mathematics · foundations · 难度 2 · 详细大纲 - concept
无限深方势阱
在零边界波函数条件下求解定态 Schrödinger 方程，得到离散能级和正弦本征态。
physics · quantum-mechanics · 难度 4 · 详细大纲 - concept
曲线积分
沿参数曲线累积标量或向量场贡献，并解释功与环流的数学表达。
mathematics · calculus · 难度 3 · 详细大纲 - concept
最小二乘
把不相容线性方程转化为残差平方最小问题，并由投影推导正规方程。
mathematics · linear-algebra · 难度 3 · 详细大纲 - concept
有限元基础
从弱形式和局部基函数组装离散系统，用网格逼近复杂区域上的边值问题。
computer-science · scientific-computing · 难度 5 · 详细大纲 - concept
条件概率与独立性
在已知事件发生的条件下更新样本空间，并区分独立、互斥和条件独立。
mathematics · probability · 难度 2 · 详细大纲 - concept
格林函数
用点源响应构造线性微分方程的受迫解，并把边界条件编码进核函数。
physics · waves · 难度 5 · 详细大纲 - concept
概率公理与事件
用样本空间、事件集合和可列可加测度建立概率推理的基本规则。
mathematics · probability · 难度 2 · 详细大纲 - concept
模型评估
按任务选择准确率、精确率、召回率、ROC 或回归误差，并避免训练集评估偏差。
machine-learning · learning-theory · 难度 2 · 详细大纲 - concept
正交性
用零内积表达方向独立性，并理解正交基如何简化坐标、长度和数值计算。
mathematics · linear-algebra · 难度 2 · 详细大纲 - concept
正交投影
把向量分解到子空间及其正交补上，并推导投影矩阵与最小距离性质。
mathematics · linear-algebra · 难度 3 · 详细大纲 - concept
波动边界条件
区分固定端、自由端和周期边界，并判断反射相位与允许解族。
physics · waves · 难度 3 · 详细大纲 - concept
波的傅里叶分析
把复杂波形分解为单频模式，并观察频谱如何控制传播、干涉和色散。
physics · waves · 难度 4 · 详细大纲 - concept
波的振幅、频率与相位
用振幅、周期、频率、波长、相位和波速定量描述行波的时空结构。
physics · waves · 难度 2 · 详细大纲 - concept
浮点数与舍入误差
理解有限二进制表示、机器精度、消去误差和条件数对计算可靠性的影响。
computer-science · scientific-computing · 难度 3 · 详细大纲 - concept
混合专家模型
用路由器为每个输入选择少量专家子网络，在计算受控时扩展参数容量。
machine-learning · neural-networks · 难度 5 · 详细大纲 - concept
潜变量模型
引入不可直接观测的随机变量解释数据结构，并通过边缘化连接隐变量与观测。
machine-learning · generative-models · 难度 4 · 详细大纲 - concept
熵与互信息
量化随机变量的不确定性以及两个变量共享的信息，连接编码、推断和学习。
mathematics · probability · 难度 4 · 详细大纲 - concept
物理信息神经网络
把微分方程残差、边界条件和数据误差共同写入损失函数，近似场的解。
interdisciplinary · scientific-machine-learning · 难度 5 · 详细大纲 - concept
生成对抗网络
让生成器与判别器进行极小极大博弈，以隐式方式逼近数据分布。
machine-learning · generative-models · 难度 5 · 详细大纲 - concept
生成模型
学习数据联合分布或生成过程，使模型能够采样、补全、重建并估计不确定性。
machine-learning · generative-models · 难度 4 · 详细大纲 - concept
目标函数与可行域
把决策变量、目标函数和约束写成明确优化问题，并区分局部与全局最优。
mathematics · optimization · 难度 2 · 详细大纲 - concept
离散概率分布
分析 Bernoulli、二项、几何和 Poisson 分布的参数、支持集与典型生成机制。
mathematics · probability · 难度 2 · 详细大纲 - concept
科学机器学习
把可解释科学模型、观测数据和学习算法组合，用于反演、预测与加速计算。
interdisciplinary · scientific-machine-learning · 难度 4 · 详细大纲 - concept
积分技巧
使用换元、分部积分和部分分式把复杂积分化为可计算的基本形式。
mathematics · calculus · 难度 2 · 详细大纲 - concept
简谐振子
由线性回复力推导正弦时间演化，并用振幅、相位和固有频率描述状态。
physics · waves · 难度 2 · 详细大纲 - concept
算法复杂度
用渐近记号比较算法随输入规模增长的时间和空间成本，并区分最坏与平均情况。
computer-science · algorithms · 难度 2 · 详细大纲 - concept
线性方程组
把多个线性约束写成矩阵方程，分析无解、唯一解和无穷多解的条件。
mathematics · linear-algebra · 难度 2 · 详细大纲 - concept
线性组合
用系数组合一组向量，判断一个目标向量是否能够由给定生成集合表示。
mathematics · linear-algebra · 难度 1 · 详细大纲 - concept
组合概率
通过排列、组合和计数原理计算有限等可能样本空间中的事件概率。
mathematics · probability · 难度 2 · 详细大纲 - concept
统计估计
区分点估计和区间估计，并用偏差、方差、一致性和效率评价估计量。
mathematics · probability · 难度 3 · 详细大纲 - concept
联合分布与条件分布
描述多个随机变量的共同变化，并由边缘化和条件化提取局部规律。
mathematics · probability · 难度 3 · 详细大纲 - concept
能量模型
以未归一化能量函数为数据赋分，并通过采样或对比方法学习低能量区域。
machine-learning · generative-models · 难度 5 · 详细大纲 - concept
自动微分
把程序拆为基本运算图，通过前向或反向累积精确应用链式法则。
computer-science · algorithms · 难度 4 · 详细大纲 - concept
自回归生成模型
按变量顺序分解联合分布，通过逐步条件预测实现精确似然与序列采样。
machine-learning · generative-models · 难度 4 · 详细大纲 - concept
自注意力
让同一序列产生 query、key、value，使每个位置按内容动态聚合其他位置。
machine-learning · neural-networks · 难度 4 · 详细大纲 - concept
自编码器
用编码器压缩输入并由解码器重建，学习受瓶颈或正则约束的表示。
machine-learning · generative-models · 难度 3 · 详细大纲 - concept
色散关系
用频率与波数之间的关系判断相速度、群速度以及波包是否发生展宽。
physics · waves · 难度 4 · 详细大纲 - concept
贝叶斯推断
用先验和似然形成后验分布，并通过后验预测表达参数不确定性。
mathematics · probability · 难度 4 · 详细大纲 - concept
边值问题
在区域边界施加函数值或通量条件，并研究这些约束如何选择微分方程的解。
mathematics · calculus · 难度 4 · 详细大纲 - concept
迭代线性求解器
通过残差更新逐步逼近大型稀疏线性系统的解，并用谱性质判断收敛。
computer-science · scientific-computing · 难度 4 · 详细大纲 - concept
递归与递推
把问题分解为规模更小的同类问题，并用基例和调用栈保证计算终止。
computer-science · algorithms · 难度 2 · 详细大纲 - concept
量子态与态空间
用复向量或波函数表示量子系统状态，并以归一化和相位等价约束物理预测。
physics · quantum-mechanics · 难度 4 · 详细大纲 - concept
量子测量
用投影概率和测后态更新描述理想测量，并区分统计预测与单次结果。
physics · quantum-mechanics · 难度 5 · 详细大纲 - concept
集合与映射
用集合、子集、笛卡尔积和映射描述数学对象的范围、对应关系与复合规则。
mathematics · foundations · 难度 1 · 详细大纲 - concept
零空间与解空间
求解映射到零向量的全部输入，并用秩-零化度关系连接自由度。
mathematics · linear-algebra · 难度 2 · 详细大纲 - concept
驻波
由相向传播的同频波叠加得到节点和腹点固定的空间振型。
physics · waves · 难度 3 · 详细大纲 - concept
高斯消元
通过初等行变换把线性方程组化为阶梯形，并稳定地回代求解。
mathematics · linear-algebra · 难度 2 · 详细大纲 - experiment
神经网络决策边界
在 Worker 中训练小型网络并观察分类边界。
machine-learning - symbol
c · 波速
c
- book
Calculus Volume 1
覆盖函数、极限、导数与积分的一学期微积分开放教材。
- symbol
theta · 模型参数向量
oldsymbol{ heta}
- symbol
u(x,t) · 位置 x、时刻 t 的波位移
u(x,t)
- symbol
X · 随机变量
X
- equation
实形式傅里叶级数
f(x)\sim\frac{a_0}{2}+\sum_{n=1}^{\infty}\bigl(a_n\cos nx+b_n\sin nx\bigr)
mathematics · calculus - equation
导数的差商定义
f'(x)=\lim_{h\to0}\frac{f(x+h)-f(x)}{h}
mathematics · calculus - learning-path
数学物理方法基础
由微分方程、本征函数和傅里叶方法进入波动、边值问题与基础量子模型。
- equation
梯度下降更新
\boldsymbol{\theta}_{k+1}=\boldsymbol{\theta}_k-\eta\nabla L(\boldsymbol{\theta}_k)
mathematics · optimization - learning-path
概率统计基础
从事件与条件概率进入随机变量、极限定理、估计和假设检验。
- learning-path
生成模型入门
比较潜变量、重建、对抗、流、能量、得分和扩散等生成建模路线。
- learning-path
线性代数基础
从向量和矩阵建立线性空间语言，进入方程组、特征结构与低秩分解。
- equation
线性变换
\mathbf{y}=A\mathbf{x}
mathematics · linear-algebra - learning-path
高等数学基础
从函数极限进入一元微积分，再过渡到多变量变化率和微分方程。