展开 数学公式属于程序性知识