期望、方差、协方差、相关系数、矩/协方差矩阵
两个随机变量的函数的分布、数学期望
线线位置关系、直线夹角、异面直线距离、公垂线方程、平面束
应用
数学证明导引、基本证明方法与策略
第一数学归纳法、第二数学归纳法、结构归纳法
MIPS 指令系统、机器数基本运算、加减乘除、浮点数运算
平面方程、点面关系、面面关系、空间直线方程
等值演算、前束范式、推理理论
解释、真值、分类