多项选择题

A.定理证明
B.数值计算
C.方法推理
D.逻辑结构