谈计算机专业实践教学中计算思维能力的培养 - 常瑞 蒋烈辉 何红旗 宋成杰 (计算机工程与科学, 2014)
阐述了计算理论（可计算性与计算机复杂性理论）中的几个典型问题,以图灵机模型、停机问题、近似算法及装箱问题等为例从不同角度分析计算理论与计算思维的密切联系,强调计算机专业实践教学中计算思维能力培养的必要性.