基于正则蕴涵算子的约束度分析

采用正则蕴涵算子进行探讨,提出三I算法的约束度理论,并给出 -三I FMP上确界与 -三I FMT下确界的计算公式。     

差分方程在概率问题中的应用

<正>在概率的解题过程中,常常会遇直接求解比较困难,但建立所求问题的递推关系却比较容易的问题.递推关系也称差分方程,利用差分方程作为表示概率变化情况的数学模型,是研究随机现象的有力和有用的方法.特别是利用全概率公式列出差分方程,然后通过解差分方程求得概率,这是概率计算中一种重要的途径.解一阶差分方程,一般通过逐次递推,最后     

系统L中公式相对于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。