利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。 A. 具有逻辑判断功能 B. 可靠性强 C. 计算精度高 D. 运算速度快
相似题目
-
计算机处理的事和物，包括图、文、声和公式、定理、法则、措施等等，最终都必须用（）表示，即数字0和1，才能被计算机识别。
-
在对企业报表进行分析时，有些指标既要用到资产负债表，又要用到利润表。下列必须同时使用资产负债表和利润表才能计算出的财务指标包括（）。
-
计算机智能化就是要求计算机能够识别图像、能够进行定理证明、能够理解人类的语言等。
-
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于( )。
-
计算机在医疗诊断、定理证明、模式识别、智能检索、语言翻译上的应用属于计算机应用领域中的（）。
-
计算机连锁利用计算机对车站值班员的操作命令和现场监控设备的表示信息进行逻辑运算后，完成对（）的联锁和控制。
-
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于（）。
-
利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。
-
多媒体技术是指利用计算机技术把多种信息综合一体化，使它们建立起逻辑联系，并能进行加工处理的技术。
-
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这一应用属于
-
计算机（）是计算机发展的一个重要方向。新一代计算机，将可以模拟人的感觉行为和思维过程的机理，进行“看”、“听”、“说”、“想”、“做”，具有逻辑推理、学习与证明的能力。
-
若要让计算机进行逻辑判断，必须（）。
-
从已有事实出发，凭借经验和直觉，通过归纳和类比等推断某些结果的推理叫做（ ）推理； 从已有的事实（包括定义、公理、定理等）和确定的规则（包括运算的定义、法则、顺序等）出发，按照逻辑推理的法则证明和计算的推理是（ ）推理。
-
数学证明是依靠逻辑推理导出结论，定理一经证明就永远是对的，
-
数学证明是依靠逻辑推理导出结论,定理已经证明就永远是对的,除非发现定理本身有误。()
-
计算机多媒体技术是指利用计算机技术把（ ）多种媒体信息综合一体化,使它们建立起逻辑关系,并能进行加工处理的技术
-
我国著名数学家吴文俊院士应用计算机进行几何定理的证明,该应用属于计算机应用领域中的________
-
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这一应用属于__（基础知识）（）
-
【单选题】从已有事实出发，凭借经验和直觉，通过归纳和类比等推断某些结果的推理叫做（）推理； 从已有的事实（包括定义、公理、定理等）和确定的规则（包括运算的定义、法则、顺序等）出发，按照逻辑推理的法则证明和计算的推理是（）推理。
-
[问题情境] 勾股定理是一条古老的数学定理，它有很多证明方法，我国汉代数学家赵爽根据弦图利用面积法进行证[问题情境] 勾股定理是一条古老的数学定理，它有很多证明方法，我国汉代数学家赵爽根据弦图利用面积法进行证明，著名数学家华罗庚曾提出把“数形关系”带到其他星球作为地球人与其他星球“人”进行第一次“谈话”的语言。 [定理表述] 请你根据图（），即____。 ∴
-
利用公式和定理证明下列等式:
-
自然语言处理、机器翻译、定理证明等都属于计算机在______方面的应用。
-
32、理解源于数学，定义、定理和证明是数学的核心，也是计算学科理论形态的核心内容。下列关于“定义”的描述正确的有（）