利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。

A. 自动控制

B. 对抗

C. 决策

D. 推理

A. 计算机可以代替人脑

B. 计算机的计算精度高

C. 计算机具有逻辑运算能力

D. 计算机具有创造能力

A. 巨型化

B. 智能化

C. 网络化

D. 微型化

A、计算机可以进行逻辑运算

B、逻辑运算在计算机内可通过穷举法计算

C、逻辑运算在计算机内可以通过推理进行计算

D、计算机不能使用人的规则进行逻辑运算

A．逻辑推理

B．数值计算

C．语言理解

D．人机对弈

A.存储程序控制，工作自动化

B.具有逻辑推理和判断能力

C.处理速度快、存储量大

D.不可靠、故障率高

A．存储程序控制，工作自动化

B．具有逻辑推理和判断能力

C．处理速度快、存储量大

D．不可靠、故障率高