类演算,The calculus of classes

1)The calculus of classes
类演算
例句>>

2)pi-like Calculus
类pi演算
1.
Formal Research of Electronic Payment Protocol Based on pi-like Calculus;
基于类pi演算的电子支付协议安全性形式化研究



3)many-sorted predicate calculus
多种类谓词演算

4)calculus[英]['kælkjələs][美]['kælkjələs]
演算
1.
Simulation Analysis of SSL3.0 Security Protocol Based on Spi Calculus;
基于Spi演算的SSL3.0安全协议仿真分析


2.
In view ofthe implementation and analysis of the NRDS,two keyproblems of the NRDS,which are mobile diagnosis and group diagnosis,are modeled with calculus and calculus algebra modeling tools,which are highly abstract and well suited to distributed mobile com-putation mode.
针对基于网络的远程监测诊断系统的实现和分析问题,利用了演算以及演算这一高度抽象的适于移动分布计算模式的代数建模工具,完成了基于网络的远程监测诊断系统的两个诊断特征问题:移动诊断和群组诊断的建模。


3.
As a system do describe mobile communication,π-Calculus has an advantage to describe communication between agents.
演算作为一种刻划通信系统的进程演算在刻划Agent间的交互时具有得天独厚的优势。


更多例句>>

5)calculation[英][,kælkju'leɪʃn][美]['kælkjə'leʃən]
演算
1.
The independent construction of model according to element is one effective way for resolve the calculation of flood in the river course flowed by many tributaries.
分单元独立建模是解决多支流河道洪水演算的有效途径。


2.
The pure arithmetic method is used for further calculation of the formula.
利用纯数学运算方法对误差曲线中极值E、F求解公式作进一步的演算,演算步骤严密和清晰,易于记忆。


更多例句>>

6)Operational calculus
算子演算
例句>>


补充资料：类演算


类演算
calculus of classes

类演算t因回us ofd~s;~IIc，H姗“IIe] 惯用名，可追溯到G.B以〕le，指称数理逻辑中研究类的逻辑的分支.类演算实际上相当于这样的命题演算，在其中也考虑基本命题的主谓结构(即形如“元素x具有性质尸”的基本命题);而且，对于每个谓词(性质)P，都伴随着由所讨论的范围内具有这一性质的元素组成的一个类.类演算曾被认为是A石stoue三段论法的数学等价物.其实并非如此，因为在类演算中可以有空集和单元集，而Ar台to少并没有考虑过这一点.一般地，类演算并不被划分为数理逻辑的一个独立的分支，因为它的所有表达能力都被包括在一元谓词演算中(一元谓词演算又是狭义谓词演算的一个可判定的片断，见逻辑演算(10乡司因喊珑)).Aristotie的三段论法已经被J.L曲溺ie~(【4])用适当的方式形式化.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

类演算,The calculus of classes