大学第3阶段数学公式速查
知识讲解 · 公式速查 · 逐点习题
本版采用大学四阶段建议路线,专业、学校和选课顺序可能不同,不对应统一教材或固定学期。覆盖口径:本页列出的 22 个知识点;配套 44 道习题,每点两题。 它不声称穷尽大学数学,专业拓展只提供明确的入门范围。
公式按知识讲解的编号排列。使用前先检查条件、单位、记号和方向;结论不满足条件时应回到定义或另选方法。
命题逻辑与证明方法
等价于 。 等价于 ; 等价于 。归纳法:证明 与对所有 的 。
理解与条件 · 配套练习
集合、关系与等价分类
同余 定义为 (整数 ),是等价关系。单射:;满射:对陪域每个 存在原像;双射同时满足二者。有限集合上的等价类构成划分。
理解与条件 · 配套练习
组合计数与容斥原理
,。。把 个对象放入 个盒子,至少一盒含 个对象。
理解与条件 · 配套练习
递推关系与生成函数
若 且 ,则 。生成函数 ;常数序列 的生成函数为 ,序列 为 (形式恒等,数值解释取 )。
理解与条件 · 配套练习
图、度数与连通性
无向图握手定理:,所以奇度顶点个数为偶数。简单无向图邻接矩阵 对称, 表示有边。 是从 到 长为 的游走数(允许重复顶点)。
理解与条件 · 配套练习
树、生成树与树结构
个顶点的有限树有 条边。对有限简单无向图,连通且有 条边等价于树。完全图 ()的标号生成树数为 (Cayley 公式)。
理解与条件 · 配套练习
Euler 路径与 Hamilton 回路
有限无向图的非孤立部分连通时:所有度数为偶数则有 Euler 回路;恰有两个奇度顶点则有从一个奇点到另一个奇点的 Euler 通路。 的简单图若最小度数至少 ,则有 Hamilton 回路(Dirac 充分条件,非必要)。
理解与条件 · 配套练习
最短路径与最小生成树
最短路松弛:。最小生成树含 条边。割性质:对任意割,跨割的唯一最轻边必属于每一棵最小生成树;并列最轻时可选择某条用于某棵最小生成树。
理解与条件 · 配套练习
可分离变量微分方程
在 的区间可写成 。若 ,则 为平衡解。 的解为 。
理解与条件 · 配套练习
一阶线性微分方程
对 ,令 ,则 ,故 。若 在含初值点的区间连续,该初值问题有唯一解。
理解与条件 · 配套练习
二阶线性方程与振动
()的特征方程为 。互异实根时 ;重根 时 ;根 时 。
理解与条件 · 配套练习
微分方程组与平衡稳定性
的解为 ,。若 全部特征值实部严格小于零,则零平衡渐近稳定;若某特征值实部为正,则不稳定。对光滑非线性系统,双曲平衡点可由线性化判断局部稳定性。
理解与条件 · 配套练习
数值误差、条件数与稳定性
绝对误差为 ,相对误差为 ()。标量函数在非零输入输出附近的相对条件数为 。可逆矩阵的条件数 (同一诱导范数)。
理解与条件 · 配套练习
非线性求根:二分与 Newton 法
二分进行 次后区间长度为 ,该区间中点误差不超过 。Newton 迭代 要求当前导数非零;在简单根附近且函数足够光滑时通常二次收敛。
理解与条件 · 配套练习
插值与逼近
Lagrange 插值 ,(节点互异)。若 ,则误差 , 在包含节点和 的区间内。
理解与条件 · 配套练习
数值积分与误差阶
单区间梯形值 ;若 ,误差 。Simpson 值 ;若 ,误差 。
理解与条件 · 配套练习
微分方程的数值解
对 ,Euler 法为 。在适当光滑和 Lipschitz 条件下,其局部误差为 、固定区间全局误差为 。对测试方程 ,显式 Euler 衰减稳定条件为 。
理解与条件 · 配套练习
线性规划与可行域
标准最大化形式为 ,约束 。若有界多面体非空,连续线性目标必取得最优值,且至少一个最优点是极点。判断目标无界需找到可行方向 ,满足 (从某可行点出发)。
理解与条件 · 配套练习
对偶、弱对偶与互补松弛
原问题 的对偶为 。两边可行时 。最优可行对满足 、。
理解与条件 · 配套练习
凸优化与梯度下降
凸性定义为 ,。二阶连续可微函数在凸开域上凸,当且仅当 Hessian 半正定。梯度下降 ;无约束函数定义在整个 、梯度为 -Lipschitz 且 时,可取 获得标准下降保证。
理解与条件 · 配套练习
网络流与割
每边满足 ,内部顶点流入和等于流出和。源汇割 的容量为 。任意流量不超过任意割容量;最大流值等于最小割容量。
理解与条件 · 配套练习
整数规划与动态规划
0–1 背包:,约束 。定义 为前 件物品容量 的最优值;若 ,则 ,否则只能不选。
理解与条件 · 配套练习