多计算学科中的理论形态 °在计算学科中,从统一合理的理论发展 过程来看,理论形态包括以下4个步骤的 内容: (1)表述研究对象的特征(定义和公理); (2)假设对象之间的基本性质和对象之间 可能存在的关系(定理); (3)确定这些关系是否为真(证明); (4)结论。 第3页第3页 计算学科中的理论形态 • 在计算学科中，从统一合理的理论发展 过程来看，理论形态包括以下4个步骤的 内容： （1）表述研究对象的特征（定义和公理）； （2）假设对象之间的基本性质和对象之间 可能存在的关系（定理）； （3）确定这些关系是否为真（证明）； （4）结论