the first-order logic中文,the first-order logic的意思,the first-order logic翻译及用法

2025-09-09 13:25 浏览次数 8

the first-order logic

一阶谓词

the first-order logic 例句

英汉例句

  • When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.

    当解释的论域是一个固定大小的有限集合时,一阶逻辑公式的可满足性问题可以等价地归约为SAT问题。

相关热词