检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:惠小静[1]
机构地区:[1]延安大学数学与计算机科学学院,延安716000
出 处:《应用数学学报》2010年第1期142-149,共8页Acta Mathematicae Applicatae Sinica
基 金:国家自然科学基金(10771129号);陕西省教育厅专项基金(08JK497号)资助项目
摘 要:在三值R_O命题逻辑系统中,给出了随机相似度和随机逻辑伪距离的基本性质.然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的随机数序的分布.The basic properties of randomized similarity and randomized logic pseudometric are given in R0 three-valued propositional logic system. After that, the randomized divergence degree of theories is introduced in randomized logic metric space. It is proved that the set of atomic formulas is not totally divergent in randomized logic metric space. It is divergent or not is decided by the randomized number sequence.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.222.227.24