王礼萍
- 作品数：30 被引量：27H指数：4
- 供职机构：哈尔滨学院理学院更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目黑龙江省新世纪高等教育教学改革工程项目黑龙江省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术文化科学自然科学总论更多>>
- 广义经验分布函数及其性质被引量：1
- 1999年
- 本文将经验分布函数推广到更一般的形式，称为广义经验分布函数．虽然广义经验分布函数已不再具有用频率估计概率的性质，但作为未知总体分布函数的估计量，它仍具有许多良好的渐近性质．本文还讨论了它的小样本性质和Ｂｏｏｔｓｔｒａｐ逼近的相合性．
- 王礼萍程希明关忠
- 关键词：经验分布函数次序统计量
- 二元关系核的代数性质被引量：1
- 2003年
- 本文在二元关系核运算构造的基础上 ,给出其代数性质 ,并给予证明。使二元关系核运算更加完整。
- 范鹰盖功琪王礼萍
- 关键词：对称核
- 二元关系核与闭包被引量：6
- 1998年
- 本文给出二元关系核与二元关系闭包两种运算之间关系的性质，同时，给出二元关系核的一种应用。
- 王礼萍
- 关键词：闭包偏序关系
- 命题逻辑推理的代数化证明被引量：7
- 2008年
- 本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。
- 王礼萍张树功
- 关键词：真值函数多项式命题公式
- N≤4的哈斯图色性被引量：1
- 2006年
- 本文根据色性将n≤4的哈斯图进行了分类,并给出哈斯图与无向简单图比较图表.
- 王礼萍李双臻
- 关键词：偏序关系哈斯图色多项式
- 重言式和矛盾式的代数化证明被引量：3
- 2009年
- 在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明。
- 王礼萍张树功
- 关键词：多项式命题公式重言式
- 模糊一致结构与模糊一致拓扑
- 2005年
- 文章给出了一种模糊一致结构和模糊一致拓扑的定义,并研究了它们的基本性质;为研究模糊拓扑环的模糊一致化问题奠定了基础。
- 尚琥刘振杰王礼萍
- 重言式和矛盾式的代数化证明
- 在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理.用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明.
- 王礼萍张树功
- 关键词：多项式方程组命题公式等价转换
- 文献传递
- Cartan型模李超代数的环面
- 2012年
- 通过W(m,n;1)和S(m,n;1)的自同构决定了有限维Cartan型限制模李超代数W(m,n;1)和S(m,n;1)的环面子代数及其环面秩.
- 刘冬丽王礼萍李国强
- 关键词：模李超代数环面
- 命题逻辑推理的一个代数化证明方法
- 尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
- 王礼萍
- 文献传递
