TAOCP 是《计算机程序设计艺术》英文名称（The Art of Computer Programming）的简称。算法是计算机程序设计的基本概念。本小节主要介绍了欧几里得算法、算法的 5 个特征和算法概念的数学集合论。