题目内容
(请给出正确答案)
[单选题]
世界上第一个数据定理证明智能程序为()
A.“逻辑理论家”
B.阿尔法狗
C.IBM沃森
D.IBM“深蓝”
答案
查看答案
A.“逻辑理论家”
B.阿尔法狗
C.IBM沃森
D.IBM“深蓝”
第1题
第8题
进一步证明积分第一中值定理(包括定理9.7和定理9.8)中的中值点∈(a,b).