（单选题）
利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。
A具有逻辑判断功能
B可靠性强
C计算精度高
D运算速度快
正确答案
答案解析
略
相似试题
（填空题）
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
（单选题）
计算机处理的事和物，包括图、文、声和公式、定理、法则、措施等等，最终都必须用（）表示，即数字0和1，才能被计算机识别。
（单选题）
我国著名数学家吴文俊院士应用计算机进行几何定理的证明，该应用属于下列计算机应用领域中的（）。
（单选题）
计算机（）是计算机发展的一个重要方向。新一代计算机，将可以模拟人的感觉行为和思维过程的机理，进行“看”、“听”、“说”、“想”、“做”，具有逻辑推理、学习与证明的能力。
（填空题）
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
（单选题）
计算机在医疗诊断、定理证明、模式识别、智能检索、语言翻译上的应用属于计算机应用领域中的（）。
（单选题）
若要让计算机进行逻辑判断，必须（）。
（填空题）
为新交换机进行第一次配置时，必须通过交换机的（）与计算机串口相连，利用（）实现查看和修改。
（判断题）
多媒体技术是指利用计算机技术把多种信息综合一体化，使它们建立起逻辑联系，并能进行加工处理的技术。
