...接下来，我们对塔斯基关于“满足”的递归定义给以较为深入的考查。塔斯基提出这个定义的时候，是以类演算（calculus of classes）作为对象语言的。（[2] ,p.193）这仅仅是作为一个例示，因而有一定的局限性；并且由于前一节所说原因，他把由类或集合构成的无穷...
基于142个网页-相关网页
良有界算子是这样一类算子，它对于在某个紧区间上绝对连续的函数具有有界的函数演算。
Well-bounded operators are those which possess a bounded functional calculus for the absolutely continuous functions on some compact intervals.
给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言：中介关系演算和中介关系代数。
Based on this model, this paper constructs two different kinds of medium relational database query languages: medium relational calculus and medium relational algebra.
我是研究生教学助理，正要教我的第一个前演算类。
I was a graduate student and Teaching Assistant and was about to teach my very first pre-calculus class.
应用推荐