单项选择题

A.形式化
B.逻辑方法
C.数学方法
D.实验方法