算法的表示属于抽象学科形态的内容;对通用算法的实现和测试属于设计学科形态的内容;计算复杂性理论