1958年,王浩证明了有关命题演算的全部定理(220条)、谓词演算中150条定理的85%。
判断题 (10 分) 10分
A.对
B.错
出自:国家开放大学人工智能导论

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块