如果结果不匹配，请 
更多“世界上第一个数据定理证明智能程序为()”相关的问题
第1题
人工智能是指南人工制造出来的系统所表现出来的智能。人工智能的核心问题包括推理、知识、规划、学习
、交流、感知、移动和操作物体的能力等。下列论述中所描述的各项技术突破，无关人工智能的是()。
点击查看答案
A．科学家利用数学定理证明程序，证明了《数学原理》一书第二章的38个定理
B．中国象棋程序在人机对弈时，能够根据以往的棋局，学习到新的战术，从而避免因为类似的错误而失败
C．小张家里新买的最新款电视机，能够根据电视机周围的环境光线强弱，自动地调整屏幕的亮度
D．有种名为siri的手机软件，采用自然语言处理技术，使用户能用自然的对话与手机进行互动
第3题
下列关于著名科学家的描述,错误的一项是（)。A.法国著名女科学家玛丽.居里是历史上第一个两次获
下列关于著名科学家的描述,错误的一项是()。
A.法国著名女科学家玛丽.居里是历史上第一个两次获诺贝尔物理学奖的人，她的最主要成就是发现了放射性元素镭和钋
B.张仲景被后人尊称为医圣,著有传世巨著《伤寒杂病论》，其确立的辨证论治原则是中医临床的基本原则，受到历代医学家的推崇
C.霍金是传奇的物理天才，更是生活的强者。他的伟大科学成就是在他被病魔禁锢在轮椅上20年之久的情况下做出来的，因此他的贡献对于人们的观念有着深远的影响
D.陈景润是我国杰出的数学家，他的著名的“1+2”定理被命名为陈式定理,成为哥德巴赫猜想研究上的里程碑。这一理论至今仍然在世界上遥遥领先
第5题
无人工厂（Unmanned Factory)又叫自动化工厂、全自动化工厂,是指全部生产活动由电子计算机进行控制,生产第一线配有机器人而无需配备工人的工厂。1952年,美国福特汽车公司在俄亥俄州的克里夫兰建造了世界上第一个生产发动机的全自动工厂。1984年4月9日,世界上第一座实验用的“无人工厂”在日本筑波科学城建成,并开始进行试运转。试运转证明,以往需要用近百名熟练工人和电子计算机控制的最新机械,
那么G为哈密顿图.(运用定理10.3)
第11题
证明定理15.8.定理15.8：设u,v为n阶无向图简单图G中两个不相邻的顶点,且d（u)+d（v)≥n,则G为哈密
证明定理15.8.
定理15.8：设u,v为n阶无向图简单图G中两个不相邻的顶点,且d(u)+d(v)≥n,则G为哈密顿图
GU(u,v)为哈密顿图((u,v)是加的新边.
