我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:小鱼儿玄机1站开奘结果 > 前束范式 >

离散数学量词消去

归档日期:06-25       文本归类:前束范式      文章编辑:爱尚语录

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  展开全部消去谓词公式中的量词,利用瞎域扩张与收缩,把谓词提到前面或者后面。

本文链接:http://scrinzoom.com/qianshufanshi/310.html