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

第1题：

第2题：

梅文鼎《勾股举隅》中给出了勾股定理的证明方法。

正确答案:正确

第3题：

勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？

正确答案: 勾股定理、勾股弦定理、商高定理都可以

第4题：

证明收益等价定理。

正确答案:荷兰式拍卖和第一价格密封式拍卖是策略等价的；英格兰式拍卖和第二价格密封式拍卖是等价的；四种拍卖方式都是帕累托最优的。

第5题：

属于人工智能主要研究领域的包括（） ①问题求解②自然语言处理 ③模式识别④智能数据库 ⑤智能机器人⑥博弈 ⑦自动程序设计⑧自动定理证明 ⑨智能代理⑩专家系统

• A、①—⑤
• B、①—⑩
• C、③—⑨
• D、④—⑨

正确答案:B

第6题：

简述四色定理的证明过程。

正确答案: 四色问题也称为四色猜想或四色定理：为了给任意一张地图着色，使有公共边界的任何区域颜色不同，至多需要四种颜色。
1852年，英国大学生古德里首先提出，1878年法国数学家凯莱的文章《论地图着色》掀起了一场四色问题热，1879年英国肯波引入“不可避免集”与“可约性”两个关键概念，1900年希伍德证明五色定理，1969年德国希斯找到解决问题的“放电算法”。
1976年6月，美国哈肯与阿佩尔借助计算机最终给与证明，计算机时间1200小时，计算机程序先后修改了500多次。

第7题：

克莱罗批评欧几里得的《几何原本》（）。

• A、证明存在错误
• B、证明过程不清晰
• C、没有讲明如何利用其中定理
• D、没有讲明如何发现了其中定理

正确答案:D

第8题：

霍金的主要成就是（）.

• A、提出了宇宙监督建设
• B、证明了奇点定理
• C、证明了面积定理
• D、证明了黑洞存在热辐射

正确答案:B,C,D

第9题：

第10题：

第11题：

第12题：

第13题：

网络的互动性使个性化行销成为可能。

正确答案:正确

第14题：

（）使土地资源持续利用成为可能。

正确答案:土地利用可持续性

第15题：

使射线照相成为可能的主要原因是什么？

正确答案: 因光电效应，康普顿效应产生的光电子能使物质起光化作用，使胶片感光，使荧光物发光，使金属增感屏起增感作用，从而使射线照相成为可能

第16题：

以下作品、作者、国籍不对应的是（）

• A、《堂·吉可德》塞万提斯西班牙
• B、《巴黎圣母院》雨果法国
• C、《匹克威克外传》狄更斯英国
• D、《鲁宾逊漂流记》斯威夫特英国

正确答案:D

第17题：

使人的全面发展成为可能的物质基础是（）

• A、独立手工业生产
• B、工场手工业生产
• C、机器大生产
• D、原始个人生产

正确答案:C

第18题：

正弦定理现代主要用向量的方法证明。

正确答案:正确

第19题：

下列属于计算机的智能化研究领域的是（）。

• A、智能机器人
• B、模式识别
• C、专家系统
• D、物形分析
• E、定理自动证明

正确答案:A,B,C,D,E

第20题：

第21题：

第22题：

第23题：