【名词&注释】
氨基酸(amino acid)、数理统计(mathematical statistics)、运筹学(operations research)、数学方法(mathematical method)、数理逻辑(mathematical logic)、蛋白质工程(protein engineering)、符号逻辑(symbolic logic)
[单选题]用数学方法研究推理的规律,研究正确思维所遵循的规律的学科,亦称符号逻辑(symbolic logic)的是().
A. A、数理统计
B. B、运筹学
C. C、泛函分析
D. D、数理逻辑