演算

词语解释

按一定原理和公式计算

详细解释

（一）、按照一定的原理或公式计算。

《宋史·律历志十五》：“至于 李淳风 、 一行 而后，总气朔而合法，效乾坤而拟数，演算之法始加备焉。” 徐迟 《哥德巴赫猜想》：“他只是因为爱好数学，演算数学习题占去了他大部分的时间。”

英语翻译

to perform calculations; to calculate

1、之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

2、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

3、本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统GKBMS。

4、从而形成了模糊谓词演算一种新的语构与语义体系。

5、这就是一个一阶谓词演算不可表述的属性.

6、使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。

7、谓词演算与程序语义。