黑龙江省教育厅科学技术研究项目(11553065)
- 作品数：2 被引量：0H指数：0
- 相关作者：王礼萍洪港张树功方晓超更多>>
- 相关机构：黑龙江东方学院哈尔滨学院吉林大学更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 原子n≤3的布尔代数在R^1、R^2、R^3中的多项式方程表示形式
- 2014年
- 王礼萍等对布尔格的偏序结构图—哈斯图,从图论角度进行了研究。在此基础上,将偏序结构的变形图用多项式方程组的形式表示,即将原子个数分别为1、2、3的布尔格(布尔代数),分别在仿射空间R1,R2,R3中构造一个代数系统与之同构,使布尔格(布尔代数)内部元素之间结构更加清晰和形象化。
- 王礼萍洪港方晓超
- 关键词：布尔格布尔代数同构
- 用特征列证明推理的一个方法
- 2014年
- 将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。
- 洪港王礼萍张树功
- 关键词：关键词命题公式吴方法
