搜题

如搜索结果不匹配，请 联系老师 或 上传试题 获取答案
王老师:19139051760(拨打)
加入会员 登录账户 学历提升

第1题

1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）
·深蓝\t\t
·IBM\t\t
·深思\t\t
·蓝天
点击查看答案

第2题

MGU是
·最一般合一\t
·最一般替换\t
·最一般谓词\t
·基替换
点击查看答案

第3题

仅个体变元被量化的谓词称为
·一阶谓词\t
·原子公式\t
·二阶谓词\t
·全称量词
点击查看答案

第4题

命题是可以判断真假的
·祈使句\t\t
·疑问句\t\t
·感叹句\t\t
·陈述句
点击查看答案
   负责人：王老师 19139051760(拨打)

   圆梦题库移动版 ICP证：豫ICP备11005330号-1