首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ)   总被引:12,自引:5,他引:12  
根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。  相似文献   

2.
根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决.  相似文献   

3.
根据部分K值逻辑的完备性理论,证明了满足一定条件的完满对称函数集是Pk*中准完备集之最小覆盖的必要组成部分.  相似文献   

4.
根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.  相似文献   

5.
根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.  相似文献   

6.
本文提出了群完备和准完备的充要条件。同时,还较详尽地讨论了线性半群中的完备性问题。定出其所有的准完备类(即极大封闭集)  相似文献   

7.
基于人工神经网络的L9(34)正交实验预测特点研究   总被引:3,自引:0,他引:3  
用五组L9(34)正交实验结果作为训练学习样本集,通过人工神经网络对其预测特点进行了探讨.结果表明:完备的正交实验样本集是基本训练学习单元,不可分割,其预测结果与实测结果吻合很好.同一类型同一实验条件下,完备的信息量大的正交实验样本集通过人工神经网络能很好地预测其他完备的信息量小的正交实验样本集,这为正交设计提供了有意义的参考思路.  相似文献   

8.
本文从对偶地角度出发,引入了相容滤子集、相容滤子完备偏序集的概念,并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质.证明了若p:L→L是偏序集L上保相容滤子交的投射算子,则p(L)在L中对相容滤子交封闭等相关结论.  相似文献   

9.
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0代数代数的滤子的一般形式及其T-R0代数的特殊滤子与特殊命题集之间的关系..关键词:e*命题逻辑系统;R0代数;T-R0代数;滤子;极大命题集;完备命题集  相似文献   

10.
部分三值逻辑中准完备集的最小复盖   总被引:21,自引:4,他引:17  
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。  相似文献   

11.
本文用ψ-极小集和化的方法讨论了完备格中ψ-连续元的性质,给出了完备格范畴中自由ψ-连续格存在性的构造性证明。  相似文献   

12.
借助相容连续偏序集的定义,研究相容连续偏序集上映射与伴随之间的关系,探讨相容定向完备偏序集上连续映射空间的若干性质.此外给出相容连续偏序集在Scott拓扑中的一些性质.  相似文献   

13.
关于部分K值逻辑中Sheffer函数判定的一些结果(I)   总被引:5,自引:2,他引:3  
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在PK^*中极大封闭集之最小覆盖中必需出现.  相似文献   

14.
关于部分K值逻辑Sheffer函数(III)   总被引:1,自引:0,他引:1  
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .  相似文献   

15.
关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)   总被引:4,自引:1,他引:3  
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在P*K中极大封闭集之最小覆盖中必需出现.  相似文献   

16.
关于部分K值逻辑Sheffer函数判定的一些结果(II)   总被引:6,自引:1,他引:5  
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。  相似文献   

17.
关于部分K值逻辑Sheffer函数(Ⅲ)   总被引:5,自引:1,他引:5  
根据部分多值逻辑的完备性理论,证明了m=2时的一类单纯可离函数集在P^*k的极大封闭集之最小覆盖中必须出现。  相似文献   

18.
关于部分K值逻辑Sheffer函数(Ⅰ)   总被引:7,自引:2,他引:5  
根据部分多值逻辑的完备性理论,证明了m=2时的一类正则可离函数集在P^*K中极大封闭集之最小覆盖中必需出现。  相似文献   

19.
张庆政 《黄淮学刊》1996,12(3):41-43
在单值与集值映象相容或次相容的条件下,给出了完备度量的空间中两个单与两个集值映象的公共不动点定理。  相似文献   

20.
关于部分K值逻辑Sheffer函数(IV)   总被引:2,自引:0,他引:2  
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号