课程目录
执行模型、递归、复杂度与状态机——程序到底是怎么跑起来的
执行轨迹
跟随程序计数器、当前语句,看每一步如何改变状态。
变量与赋值
赋值、别名与修改——看清变化的是名称绑定，还是共享对象。
数组与下标
连续存储、下标、遍历,以及越界究竟意味着什么。
循环与不变量
循环变量、每轮保持的不变量,以及终止条件。
递归与调用栈
调用的压入与弹出、返回值,以及递归如何逐帧展开回收。
用计步理解 Big-O
通过在屏幕上数操作次数,建立 O(1)、O(n)、O(n²)、O(log n) 的直觉。
状态机
状态、事件与转移——为 TCP、操作系统和解析器打底。