首页

搜答案

搜索码5元/200次。 获取搜索码

王浩在哪一年编了一个定理证明程序,在IBM-704上只用了不

单选题匿名用户 2020-12-26 0

问题: 王浩在哪一年编了一个定理证明程序,在IBM-704上只用了不到九分钟的时间就证明了《数学原理》中的全部一阶逻辑定理?

A: 1958年

B:1959年

C:1960年

D:1961年

答案

查找正确答案

你可能感兴趣的题目: 机器学习出现后,出现了哪几种算法? 0; 机器学习的学习方法分为()。 0; 针对海绵城市建设,嘉兴南湖片区的重点是控制溢流、减少内涝。 0; 目前,全国范围内的促进区块链产业健康发展的法规监管体系已经建 0; 习近平总书记指出,要保持严打高压态势,依法严厉打击利用疫情( 0; 党的十九大报告指出,新时代中国特色社会主义思想,是马克思主义 0; 党的十九大确立了习近平新时代中国特色社会主义思想的指导地位。 0; 党的十六大报告指出,“三个代表”重要思想是对马克思列宁主义、 0; 习近平新时代中国特色社会主义思想在我们党整个指导思想的体系中 0; 马克思列宁主义同中国实际相结合有两次历史性飞跃,产生了两大理 0

通知公告

layui

微信扫码获取一对一帮助

友情链接

公需科目题库

公需课学习助手

公需课登录入口

四川公需科目

广东公需课

重庆公需课

安徽公需课

河南公需科目

广西公需科目

公需课题库