题目内容
（请给出正确答案）
[单选题]
利用计算机证明非数值性的结果，处理如医疗诊断、信息检索、难题求解等方面的技术是（)
A.语言理解
B.检测系统
C.逻辑方法
D.自动定理证明
查看答案
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
A.语言理解
B.检测系统
C.逻辑方法
D.自动定理证明
如果结果不匹配，请 联系老师 获取答案
更多“利用计算机证明非数值性的结果，处理如医疗诊断、信息检索、难题…”相关的问题
A.该计算机能处理的字符串最多为8个ASCII码
B.该计算机能处理的数值最大为4位9999D
C.该计算机的CPU运算结果最大为8的32次方
D.该计算机的CPU中作为一个整体加以传送处理的二进制代码为32位
A.在试用期间被证明不符合录用条件的
B.严重失职，营私舞弊，对用人单位利益造成重大损害的
C.严重违反劳动纪律或者用人单位规章制度的
D.患病或非因工负伤，医疗期满后不能从事原工作
A.对基础风险因素的一些假设，使得存在模型风险
B.计算量大，除非利用计算机工具
C.如果计算模拟产生的是伪随机数，可能导致错误结果
D.可以处理非线性、大幅波动问题
A.计算机的运算速度很高，远远高于人的计算速度
B.由于计算机的可编程性，计算机能够在各行各业得到广泛的应用
C.计算机是由程序规定其操作过程
D.计算机能够进行逻辑运算，并根据逻辑运算的结果选择相应的处理
A.OBU
B.CPC
C.ETC
D.CPU
A.系统依赖性
B.非人工识读性
C.结构非对称性
D.存储高密度性
证明线性规划
在可行区域不空的条件下只有两种可能结果：（1）目标函数值无下界；（2）所有可行解对应的目标函数值都相等，从而都是最优解。
A.物质平衡方法
B.产量递减分析法
C.试井分析法
D.油藏数值模拟
