加涅认为，程序性知识包括（）和（）两个亚类。