⒈ 按一定原理和公式计算。
英do exercise in mathematics; perform ma the matical calculations;
⒈ 按照一定的原理或公式计算。
引《宋史·律历志十五》:“至于 李淳风、一行 而后,总气朔而合法,效乾坤而拟数,演算之法始加备焉。”
徐迟 《哥德巴赫猜想》:“他只是因为爱好数学,演算数学习题占去了他大部分的时间。”
⒈ 练习数学题目。
例如:「老师要我们在黑板上演算习题。」
英语to calculate, to perform calculations
德语berechnen, planen , Kalkül (S)
法语calcul
1、之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。
2、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
3、本文以关系知识模型为基础,用谓词演算和关系演算描述了一个知识库管理系统GKBMS。
4、从而形成了模糊谓词演算一种新的语构与语义体系。
5、这就是一个一阶谓词演算不可表述的属性.