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

利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用都属于（）
A.数值计算
B.自动控制
C.人工智能
D.辅助教育
正确答案：A