从可执行规格进入计算模型、问题分解与规格，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入变量、值与类型，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入控制流与循环推理，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入函数、契约与抽象，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入列表、元组、集合与字典，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入字符串、文本与文件，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入模块、接口与依赖，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入异常、失败与恢复，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入测试、调试与证据，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入基础算法与复杂度直觉，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入Git、协作与代码评审，让每个抽象都落到程序、测试与解释。
7 讲从可执行规格进入综合项目：从规格到交付，让每个抽象都落到程序、测试与解释。
7 讲