计算机在医疗诊断、定理证明、模式识别、智能检索、语言翻译上的应用属于计算机应用领域中的（）。

属于人工智能主要研究领域的包括（） ①问题求解②自然语言处理 ③模式识别④智能数据库 ⑤智能机器人⑥博弈 ⑦自动程序设计⑧自动定理证明 ⑨智能代理⑩专家系统

单选题查看答案

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

单选题查看答案

计算机处理的事和物，包括图、文、声和公式、定理、法则、措施等等，最终都必须用（）表示，即数字0和1，才能被计算机识别。

单选题查看答案

我国著名数学家吴文俊院士应用计算机进行几何定理的证明，该应用属于下列计算机应用领域中的（）。

单选题查看答案

简述图像处理、模式识别与计算机图形学的关系。

简答题查看答案

反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

单选题查看答案

鲁宾逊提出了（）使机器定理证明成为可能

填空题查看答案

以下属于人工智能技术应用的是（）。 ①计算机博弈②机器翻译③电子商务④office助手⑤模式识别

单选题查看答案

利用归结原理证明定理时，若得到的归结式为（），则结论成立。

填空题查看答案