计算机智能化就是要求计算机能够识别图像、能够进行定理证明、能够理解人类的语言等。
欧几里德的《几何原本》证明了三角形内角和定理。
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于( )。
计算机在医疗诊断、定理证明、模式识别、智能检索、语言翻译上的应用属于计算机应用领域中的（）。
2001年2月，在国家科学技术奖励大会上，中国政府颁发了第一届国家最高科学技术奖。数学家吴文俊院士和“杂交水稻之父”（）院士荣获国家最高科技奖。
我国学者对石油峰值的研究始于20世纪80年代，著名地球物理学家、中国科学院院士翁文波做了大量开创性工作，提出了著名的什么模型？
《普通高中数学课程标准实验标准（实验）》的课程目标提出培养数学基本能力，对于用几何方法证明“直线与平面平行的性质定理”的学习有助于培养的数学基本能力有（ ）
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于（）。
利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。
（）年6月，由香港著名科学家、医学家、伦敦皇家内科医学院院士、爱丁堡皇家内科医学院院士汤于翰博士发起并捐资助建的宁波大学医学院成立。
1988年，李鸿志院士与美国著名内弹道学家H.克里尔联合发起，在南京理工大学成功地组织召开了"国际弹道学学术会议"，我国与来自美国、德国、法国、比利时等10多个国家的（）多位弹道世界权威和专家齐集南京理工大学。
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这一应用属于
近代数学家（）证明了著名的“费玛大定律”，并且与英国人伟烈热利合作翻译了古希腊的数学名著，并且使得西方近代的符号代数学以及解析几何和微积分第一次传入中国。
欧几里德的《几何原本》证明了三角形内角和定理。（）
本节课主要讲了哪位政治家给出了一个著名几何定理的一个新证明
俄罗斯著名的哲学家斯娇比院士认为俄罗斯文明属于传统文明。
我国当代数学家中科院院士微分几何大家（ ）先生在临终前用颤抖的手写下两个字：希腊。
《几何原本》中 有些定理的证明过程过分依赖于图形的直观。
在很多人眼里，科研创新是艰深、枯燥、乏味的“苦差事”，但我国著名数学家谷超豪院士，却将自己的三大研究领域——微分几何、偏微分方程和数学物理，亲昵地称为“金三角”，并告诉别人别看它们表面上枯燥，其实只要深人进去，就会发现其中奥妙无穷，充满快乐，而正是这快乐给予了我无穷的动力。”这段文字意在说明（）。
利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这一应用属于__（基础知识）（）
[问题情境] 勾股定理是一条古老的数学定理，它有很多证明方法，我国汉代数学家赵爽根据弦图利用面积法进行证[问题情境] 勾股定理是一条古老的数学定理，它有很多证明方法，我国汉代数学家赵爽根据弦图利用面积法进行证明，著名数学家华罗庚曾提出把“数形关系”带到其他星球作为地球人与其他星球“人”进行第一次“谈话”的语言。 [定理表述] 请你根据图（），即____。 ∴
《普通高中数学课程标准（实验）》的课程目标提出培养数学基本能力，对于用几何方法证明 “直线与平面平行的性质定理”的学习有助于培养数学基本能力有（）
自然语言处理、机器翻译、定理证明等都属于计算机在______方面的应用。
32、理解源于数学，定义、定理和证明是数学的核心，也是计算学科理论形态的核心内容。下列关于“定义”的描述正确的有（）
