《软件工程与计算》课堂笔记

1.~4. 是《软件工程与计算 I》的笔记。

1. 编程语言概述
2. 可计算性
3. Lambda 演算
4. 解释