离散数学 | 证明 | Week 8 归纳
第一数学归纳法、第二数学归纳法、结构归纳法
计算机组成原理 | 课堂笔记 | Week 6 指令结构、算术运算
MIPS 指令系统、机器数基本运算、加减乘除、浮点数运算
解析几何 | Week 6 平面、点面关系、面面关系、直线
平面方程、点面关系、面面关系、空间直线方程
离散数学 | 一阶逻辑 | Week 6 等值演算、推理
等值演算、前束范式、推理理论
离散数学 | 一阶逻辑 | Week 5 语义
解释、真值、分类
概率论与数理统计 | Week 5 多维随机变量
多维随机变量、边缘分布、条件分布、相互独立的随机变量
计算机组成原理 | 课堂笔记 | Week 5 数据表示、指令表示
数据对齐、数据纠错、指令类型、MIPS指令系统
计算机组成原理 | 课堂笔记 | Week 4 运算、数据表示
机器数运算、各种数据的表示、定点表示、浮点表示
离散数学 | 一阶逻辑 | Week 4 概念和语法
基本概念、语法
解析几何 | Week 4 曲线、曲面
曲线方程、曲面方程