首页 › 答案 › 题库 › 远程教育 › 国家开放大学

1958年，王浩证明了有关命题演算的全部定理（220条）、谓词演算中150条定理的85%。

1958年，王浩证明了有关命题演算的全部定理（220条）、谓词演算中150条定理的85%。
A、正确
B、错误
正确答案：A

标签：定理谓词命题

上一条：知识的特性

下一条：美国爱荷华州立大学的阿塔纳索夫教授和他的研究生贝瑞在1937年至1941年间开发的世界上第一台电子计算机“阿塔纳索夫一贝瑞计算机（Atanasoff（）BerryComputer，ABC）”为人工智能的研究奠定了物质基础。