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

A、数值计算

B、自动控制

C、人工智能

D、辅助教育