单项选择题

利用计算机来模拟人类的某些思维活动,如医疗诊断、定理证明等,这些应用属于()。

A.数值计算
B.自动控制
C.人工智能
D.模拟仿真