■ 图灵机 ■ 量化计算资源 ■ 复杂性类别 ■ 量子计算简介：历史视角 ■ 量子计算模型 ■ 电路符号和量子门 ■ 量子门的通用集 ■ Solovay-Kitaev 定理 ○ 量子预言机 ○ 预言量子算法：