skolem函数的英文

• skolem normal form

• "函数"英文翻译    function
• "skolem" 英文翻译 :    期柯伦
• "skolem function" 英文翻译 :    斯柯伦函数
• "skolem范式" 英文翻译 :    skolem normal form
• "skolem悖论" 英文翻译 :    skolem's paradox
• "lwenheim-skolem定理" 英文翻译 :    lwenheimskolem theorem
• "skolem normal form" 英文翻译 :    skolem范式; skolem函数; 斯科伦范式
• "skolem standard form" 英文翻译 :    斯柯伦范式
• "函数" 英文翻译 :    [数学] function◇函数计算机 function computer; 函数计算器 function calculator; 函数运算 functional operation
• "基函数, 原函数" 英文翻译 :    primary function
• "fortran函数" 英文翻译 :    fortran function
• "helper函数" 英文翻译 :    helper function
• "hermite函数" 英文翻译 :    hermite function
• "hook函数" 英文翻译 :    hook function
• "h函数" 英文翻译 :    h function
• "l函数" 英文翻译 :    l function
• "sigmoid函数" 英文翻译 :    sigmoid function
• "sinc函数" 英文翻译 :    sinc functions
• "s轨函数" 英文翻译 :    s orbital
• "theta 函数" 英文翻译 :    theta function
• "“非”函数" 英文翻译 :    not function
• "“或非”函数" 英文翻译 :    nor function
• "Γ函数" 英文翻译 :    gamma function
• "Δ函数" 英文翻译 :    dirac delta function
• "Φ函数" 英文翻译 :    phi function

• In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown
  本文给出了是否能抽取出无skolem函数的程序的充分必要条件，同时给出了抽取算法。