计算机组成原理 | 课堂笔记 | Week 7 数据通路
基本元件、指令操作、单总线与多总线数据通路、数据通路的逐步建立逻辑
离散数学 | 一阶逻辑 | Week 7 应用
应用
离散数学 | 证明 | Week 7 基本证明方法
数学证明导引、基本证明方法与策略
离散数学 | 证明 | Week 8 归纳
第一数学归纳法、第二数学归纳法、结构归纳法
计算机组成原理 | 课堂笔记 | Week 6 指令结构、算术运算
MIPS 指令系统、机器数基本运算、加减乘除、浮点数运算
离散数学 | 一阶逻辑 | Week 6 等值演算、推理
等值演算、前束范式、推理理论
离散数学 | 一阶逻辑 | Week 5 语义
解释、真值、分类
计算机组成原理 | 课堂笔记 | Week 5 数据表示、指令表示
数据对齐、数据纠错、指令类型、MIPS指令系统
计算机组成原理 | 课堂笔记 | Week 4 运算、数据表示
机器数运算、各种数据的表示、定点表示、浮点表示
离散数学 | 一阶逻辑 | Week 4 概念和语法
基本概念、语法