题目内容（请给出正确答案）

吴文俊提出了利用机器发现与证明几何定理的新方法，这就是著名的“吴氏方法（）

[判断题]

吴文俊提出了利用机器发现与证明几何定理的新方法，这就是著名的“吴氏方法（）

提问人：网友154336271 发布时间：2023-07-17

参考答案

是

如搜索结果不匹配，请联系老师获取答案

网友答案

查看全部（）

对错

提交我的答案

登录提交答案，可赢取奖励机会。

您可能会需要：

重置密码查看订单联系客服

安装简答题APP，拍照搜题省时又省心！

更多“吴文俊提出了利用机器发现与证明几何定理的新方法，这就是著名的…”相关的问题

第1题

经过多年的持续发展，我国在人工智能领域取得重要进展，特别是吴文俊院士提出了几何定理证明的“吴氏方法”，对人工智能的理论研究做出了巨大的贡献（）

点击查看答案

第2题

吴文俊几何定理的机械化证明的创新在于它没有走国际通用的()方法的老路子。

A.几何

B.推理

C.逻辑

D.归纳

点击查看答案

第3题

被誉为中国人工智能之父，在几何定理的机器证实取得重大突破，并获得首届国家最高科学技术奖的数学家是().

A.张景中

B.吴文俊

C.华罗庚

D.陈景润

点击查看答案

第4题

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

A.人工智能

B.科学计算

C.数据处理

D.计算机辅助设计

点击查看答案

第5题

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

A.人工智能

B.科学计算

C.数据处理

D.计算机辅助设计

点击查看答案

第6题

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

A.人工智能

B. 科学计算

C. 数据处理

D. 计算机辅助设计

点击查看答案

第7题

我国学者吴文俊院士在人工智能（）领域作出了贡献。

A.专家系统

B.机器证明

C.神经网络

D.模式识别

点击查看答案

第8题

我国学者吴文俊院士在人工智能的（)领域作出了贡献。

A.机器证明

B.模式识别

C.人工神经网络

D.智能代理

点击查看答案

第9题

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

点击查看答案

第10题

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

点击查看答案

第11题

泰勒斯在数学方面划时代的贡献是什么？

A.引入了命题证明的思想

B.创办了伊奥尼亚学派

C.证明了毕达哥拉斯定理

D.提出了几何三大问题

点击查看答案

警告：系统检测到您的账号存在安全风险

为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！

微信搜一搜

简答题

点击打开微信

警告：系统检测到您的账号存在安全风险

抱歉，您的账号因涉嫌违反简答题购买须知被冻结。您可在“简答题”微信公众号中的“官网服务”-“账号解封申请”申请解封，或联系客服。

微信搜一搜

简答题

点击打开微信