×

前束范式的英文

发音:   用"前束范式"造句
  • prenex normal form
  • :    front
  • :    bind; tie
  • 范式:    canonical form; normal form
  • 前束:    fasciculus anterior; front-wheel; prefix; toe in; toe-in
  • 结束范围:    end range
下载手机词典可随时随地查词查翻译

百科释义

    在谓词演算中,一个公式是前束范式的,如果它可以被写为量词在前,随后是被称为矩阵的非量化部分的字符串。所有一阶公式都逻辑等价于某个前束范式公式。
    详细百科解释

相关词汇

其他语言

相邻词汇

  1. "前束"英文
  2. "前束(沿轮辋内侧测量)"英文
  3. "前束,前轮内倾"英文
  4. "前束标准型"英文
  5. "前束调整"英文
  6. "前束规"英文
  7. "前束合榷式"英文
  8. "前束角"英文
  9. "前束量尺"英文
  10. "前束式"英文
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Sat, 16 Aug 2025 00:29:56 GMT