pseudo metric 伪距离
pseudo-metric uniformity [数] 伪度量一致性
pointwise pseudo-metric 点式伪度量
pseudo-metric lattice 伪补度量格
pseudo-metric topology space 伪度量拓扑
Equicrural Normalized Pseudo-metric 等腰归一化伪距离
pseudo Euclid metric 伪欧几里得度量
pseudo-Riemannian metric 伪黎曼度量
TheΓ-similarity degree between formulas is defined by means of relativeΓ-tautology degrees, and a pseudo-metric between formulas is then introduced.
利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离。
参考来源 - 四种命题逻辑中公式的相对Γ·2,447,543篇论文数据,部分数据来源于NoteExpress
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
本文从命题逻辑公式的相似度入手,研究命题逻辑公式集上的伪距离和近似推理。
The conceptions of DL3-similarity degree and pseudo-metric on two formulas are given. DL3-logic metric space is built. And it is proved that this space has no isolated point.
给出了两公式间的DL3 -相似度与伪距离的概念,并建立了DL3 -逻辑度量空间,证明了此空间没有孤立点。
In this paper, we show that the Pseudo-Symmetric property of spherical point set can be characterized by the eigen values of eigenpolynomial and it has the closeness under the metric sum operation.
本文证明了球面有限点集的伪对称性可以完全由其特征多项式的根来刻画,并得到了在度量加运算下伪对称性具有封闭性。
应用推荐