排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
利用赋值集的随机化方法,在修正的n值G(o)del逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间. 相似文献
2.
将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划. 相似文献
3.
魏海新 《计算机工程与应用》2016,52(5):33-35
在[n]值Lukasiewicz命题逻辑系统的随机逻辑度量空间中,提出[ξ]-相容度的概念,讨论它的基本性质,证明了[ξ]-相容度在[n]值随机逻辑度量空间仍然保持经典逻辑度量空间中的基本性质。 相似文献
4.
魏海新 《计算机工程与应用》2009,45(22):32-33
将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。 相似文献
5.
对Godel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。 相似文献
6.
魏海新 《计算机工程与应用》2010,46(29):56-57,62
将Godel辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于┑同余的一个分划。 相似文献
7.
将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。 相似文献
8.
魏海新 《计算机工程与应用》2010,46(29):56-57
将Gödel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。 相似文献
9.
魏海新 《沈阳化工学院学报》2000,14(3):238-240
设G是Sm的子群,f是群代数元,Tf=∑/σ∈F(σ)P(σ)为张量空间V的对称化算子,称ImTf为广义张量对称类,并给出ImTf的基的构造。 相似文献
10.
构造函数和析构函数是面向对象程序设计中非常重要的概念,它们是负责对象的创建和撤销的特殊成员函数.构造函数的作用是创建对象时进行初始化,析构函数的作用是释放对象时清理现场.两者作用相反,名称也正好相反.文章比较系统地介绍了构造函数与析构函数的原理及其在C#中的运用,并提出了在使用过程中需要注意的若干问题. 相似文献