单选题利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。A具有逻辑判断功能B可靠性强C计算精度高D运算速度快
单选题
利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。
A
具有逻辑判断功能
B
可靠性强
C
计算精度高
D
运算速度快
参考解析
解析：
暂无解析
相关考题：
对计算机辅助教学这一概念的合理解释是() A、利用计算机所进行的教学B、在计算机的辅助下完成的教学活动C、在计算机硬件以及软件的辅助下，教师的教学活动以及学生的学习活动D、利用计算机的各种功能和特性，通过教师、学生与计算机的交互活动来实现更有效的教学
计算机（）是计算机发展的一个重要方向。新一代计算机，将可以模拟人的感觉行为和思维过程的机理，进行“看”、“听”、“说”、“想”、“做”，具有逻辑推理、学习与证明的能力。A、巨型化B、智能化C、网络化D、微型化
化工过程集散控制系统（DCS）又称分布式计算机控制系统，其实质是（）。A、利用计算机技术对生产过程进行集中监视、操作、管理和分散控制的一种控制技术B、利用计算机对生产过程进行监控的控制技术C、利用计算机对生产过程进行管理的控制技术D、利用计算机控制化工生产操作的技术
单选题对于计算机求解问题，下列叙述正确的是（）。A利用计算机进行问题求解，是用机器代替人，属于人工智能应用B计算机求解问题主要适用于自然系统，社会系统无法建模C计算机进行问题求解是利用了计算机运行速度快、精度高、自动化和不知疲倦的特性D只有通过计算机执行求解算法才能得到问题的解
单选题对计算机辅助教学这一概念的合理解释是（）A利用计算机所进行的教学B在计算机的辅助下完成的教学活动C在计算机硬件以及软件的辅助下，教师的教学活动以及学生的学习活动D利用计算机的各种功能和特性，通过教师、学生与计算机的交互活动来实现更有效的教学
判断题第五代计算机主要着眼于计算机的智能化，以知识库为基础，采用智能接口，进行逻辑推理，完成判断和决策任务。A对B错