（2.0分）.号:2410难度:中68章很多中国科学家为计算机的应用与发展作出了贡献，如王选、吴文俊等。数学家（）发表关于几何定理自动证明的奠基性论文《初等几何定理机器证明的基本原理》,他提出的代数几何的新方法("吴方法")相当成功,为几何推理的进步做出了巨大贡献.
发布时间：2024-06-08 15:16:50
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.1977年，我国关于平面几何定理的机械化证明首次取得成功。创立了定理机器证明的“吴方法”。这位科学家的是。 选项： A:吴健广 B:吴传均 C:吴文俊 D:吴其溶
- 2.1977年，我国关于平面几何定理的机械化证明首次取得成功。创立了定理机器证明的“吴方法”。这位科学家的是 选项： A:吴文俊 B:吴其济 C:吴键广 D:吴传钧
- 3.1977 年，我国关于平面几何定理的机械化证明首次取得成功。创立了定理机器证明的“吴方 法”。这位科学家的是（ ）。 选项： A:吴其濬 B:吴传钧 C:吴健广 D:吴文俊
-
4.1977年，我国关于平面几何定理的机械化证明首次取得成功。创立了定理机器证明的“吴方法”。这位科学家是 选项： A:
吴健广
B:吴其濬
C:吴传钧
D:吴文俊
- 5. 吴文俊几何定理的机械化证明的创新在于它没有走国际通用的( )方法的老路子。A、几何B、推理C、逻辑D、归纳
-
6.1977年，我国关于平面几何定理的机械化证明首次取得成功。创立了定理机器证明的“吴方法”。这位科学家的是________。 选项： A:
吴文俊
B:吴其濬
C:吴健广
D:吴传钧
- 7.我国著名数学家吴文俊院士应用计算机进行几何定理的证明，该应用属于计算机应用领域中的( )。A、人工智能B、科学计算C、数据处理D、计算机辅助设计
- 8.解析几何要解决哪些问题？主要有： 选项： A、通过计算来解决作图问题 B、求具有某种几何性质的曲线的方程 C、用代数方法证明新的几何定理 D、用几何方法解代数方程
- 9.逻辑主义（符号主义），用符号表达的方式来研究智能、研究推理，奠基人是（ ），应用有几何定理证明机、聊天机器人。
- 10.被誉为中国人工智能之父,在几何定理的机器证实取得重大突破,并获得首届国家最高科学技术奖的数学家是( )A、张景中B、吴文俊C、华罗庚D、陈景润
- 11.[单选]下列哪位中国数学家开辟了一条定理机械证明的代数化途径，他将证明的问题归结为纯代数问题，并有一整套高度机械化的代数关系整理程序。( )A、吴文俊B、华罗庚
- 12.下列哪位中国数学家开辟了一条定理机械证明的代数化途径，他将证明的问题归结为纯代数问题，并有一整套高度机械化的代数关系整理程序。(A) 选项：A、吴文俊B、华罗庚C、陈景润D、苏步青
- 13.[单选]下列哪位中国数学家开辟了一条定理机械证明的代数化途径，他将证明的问题归结为纯代数问题，并有一整套高度机械化的代数关系整理程序。( )A、吴文俊B、华罗庚C、陈景润D、苏步青
- 14.中国数学家( ) 研究机器证明中,取得了可喜成果。A、华罗庚B、陈景润C、吴文俊D、王湘浩
- 15.《几何原本》中只有几何问题的公理化方法证明，但没有微积分的思想方法的应用。 选项：A、对 B、错
- 16.《几何原本》中只有几何问题的公理化方法证明，但没有微积分的思想方法的应用。A.对B.错
- 17.古希腊数学以几何定理的演绎推理为特征，具有公理化的模式。选项： A:是 B:否
- 18.中国《九章算术》（）的算法体系和古希腊《几何原本》（）的体系在数学历史发展进程中争奇斗妍、交相辉映。 选项： A、以算为主、逻辑演绎 B、演绎为主、推理证明 C、模型计算为主、几何作画为主 D、模型计算、几何证明
- 19.我国学者吴文俊院士在人工智能（ ）领域作出了贡献。选项： A:专家系统; B:机器证明; C:神经网络; D:模式识别
- 20.克莱因在“爱尔兰根纲领”中首次提出了统一几何学的纲领性结论,以( )为工具讨论几何学,将当时所有的几何学(欧氏几何、非欧几何、仿射几何、射影几何等)都统一起来了
- 21.我国学者吴文俊院士在人工智能的（）领域做出了贡献。 选项： A:机器证明 B:机器思维 C:人工智能 D:机器智能
- 22.我国学者吴文俊院士在人工智能的（ ）领域做出了贡献。 选项： A:机器证明 B:智能代理 C:计算机视觉 D:自然语言处理
