计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (14): 34-38.DOI: 10.3778/j.issn.1002-8331.2010.14.010
屠桂晶,张兴芳,李成允,李友雨
TU Gui-jing,ZHANG Xing-fang,LI Cheng-yun,LI You-yu
摘要: 利用赋值集的随机化方法,在三值乘积逻辑∏3提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D∏3-相似度与伪距离的概念,并建立了D∏3-逻辑度量空间,证明了此空间没有孤立点。
中图分类号: