“中国制造2025”推动了工业机器人、机械手臂等智能设备的广泛应用,使工厂()制造成为可能。 A.无人化B.透明化C.智能化D.可视化
递归论定理指出了形式系统的相容性在本系统内不能证明,使希尔伯特纲领受到了沉重的打击。() 此题为判断题(对，错)。
任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、机器翻译。() 此题为判断题(对，错)。
在人工智能的发展历史中,整个80年代,专家系统和机器定理证明在全世界得到迅速发展。() 此题为判断题(对，错)。
勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？
以下作品、作者、国籍不对应的是（）A、《堂·吉可德》塞万提斯西班牙B、《巴黎圣母院》雨果法国C、《匹克威克外传》狄更斯英国D、《鲁宾逊漂流记》斯威夫特英国
属于人工智能主要研究领域的包括（） ①问题求解②自然语言处理 ③模式识别④智能数据库 ⑤智能机器人⑥博弈 ⑦自动程序设计⑧自动定理证明 ⑨智能代理⑩专家系统A、①—⑤B、①—⑩C、③—⑨D、④—⑨
使人的全面发展成为可能的物质基础是（）A、独立手工业生产B、工场手工业生产C、机器大生产D、原始个人生产
克莱罗批评欧几里得的《几何原本》（）。A、证明存在错误B、证明过程不清晰C、没有讲明如何利用其中定理D、没有讲明如何发现了其中定理
下列属于计算机的智能化研究领域的是（）。A、智能机器人B、模式识别C、专家系统D、物形分析E、定理自动证明
霍金的主要成就是（）.A、提出了宇宙监督建设B、证明了奇点定理C、证明了面积定理D、证明了黑洞存在热辐射
单选题使人的全面发展成为可能的物质基础是（）A独立手工业生产B工场手工业生产C机器大生产D原始个人生产
判断题梅文鼎《勾股举隅》中给出了勾股定理的证明方法。A对B错
多选题下列属于计算机的智能化研究领域的是（）。A智能机器人B模式识别C专家系统D物形分析E定理自动证明
多选题霍金的主要成就是（）.A提出了宇宙监督建设B证明了奇点定理C证明了面积定理D证明了黑洞存在热辐射
问答题勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？