quantifier elimination 中文意思是什麼

quantifier elimination 解釋
量詞消去
  • quantifier : n. 【邏輯學】限量詞〈用 all, some 等語詞以及前綴[詞首]、符號等表示〉。
  • elimination : n. 除去,消除,淘汰,排除(作用);【化學】棄置;【數學】消去,消元法 (eliminate matches 【體育】預賽,淘汰賽。 waste eliminate 消滅浪費)。
  1. 目前還沒有quantifier elimination例句。
分享友人