计 算 5.2代码的基本概念 机 程 序·表达式语义 设 计·赋值与初始化 基 础 代码与计算 控制流 断言与程序不变量 清华大学计算中心 http://learn.tsinghua.edu.cn清华大学计算中心 http://learn.tsinghua.edu.cn 7 计 算 机 程 序 设 计 基 础 5.2 代码的基本概念 • 表达式语义 • 赋值与初始化 • 代码与计算 • 控制流 • 断言与程序不变量