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

A：数值计算

B：自动控制

C：人工智能

D：辅助教育