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

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