王礼萍

作品数：26被引量：24H指数：3
导出分析报告
供职机构：哈尔滨学院理学院更多>>
发文主题：对称核闭包命题公式代数化偏序关系更多>>
发文领域：理学自动化与计算机技术文化科学自然科学总论更多>>
发文期刊：《科技信息》《林区教学》《哈尔滨师范大学自然科学学报》《哈尔滨学院学报》更多>>
所获基金：黑龙江省教育厅科学技术研究项目黑龙江省新世纪高等教育教学改革工程项目黑龙江省自然科学基金黑龙江省高等教育教学改革工程项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
原子n≤3的布尔代数在R^1、R^2、R^3中的多项式方程表示形式
《黑龙江大学自然科学学报》2014年第5期613-618,共6页王礼萍 洪港 方晓超 
黑龙江省教育厅科学技术研究项目(11553065)
王礼萍等对布尔格的偏序结构图—哈斯图,从图论角度进行了研究。在此基础上,将偏序结构的变形图用多项式方程组的形式表示,即将原子个数分别为1、2、3的布尔格(布尔代数),分别在仿射空间R1,R2,R3中构造一个代数系统与之同构,使布尔格(...
关键词：布尔格 布尔代数 同构 
用特征列证明推理的一个方法
《黑龙江大学自然科学学报》2014年第1期61-64,共4页洪港 王礼萍 张树功 
黑龙江省教育厅科学技术研究项目(11553065);黑龙江高等学校教改工程项目(JG2012010514)
将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。
关键词：关键词 命题公式 多项式列 多项式特征列 吴方法 
Cartan型模李超代数的环面
《哈尔滨师范大学自然科学学报》2012年第1期3-6,共4页刘冬丽 王礼萍 李国强 
黑龙江省教育厅科学技术研究项目(11553059)
通过W(m,n;1)和S(m,n;1)的自同构决定了有限维Cartan型限制模李超代数W(m,n;1)和S(m,n;1)的环面子代数及其环面秩.
关键词：阶化 模李超代数 环面 
重言式和矛盾式的代数化证明被引量：3
《计算机与数字工程》2009年第8期17-21,共5页王礼萍 张树功 
哈尔滨学院学科发展基金(编号:HXK200717)资助;黑龙江省新世纪高等教育教学改革工程项目资助
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明。
关键词：多项式 命题公式 重言式 矛盾式 
在偏序集上单调函数的一些性质
《哈尔滨师范大学自然科学学报》2009年第4期32-33,共2页王礼萍 潘亚滨 曹辉 李艳 
哈尔滨学院学科发展研究基金项目(HXK200717)
给出单调函数在偏序集上的一些性质,并给予证明.同时,将全序集上的单调函数与偏序关系中的单调函数进行了比较.
关键词：偏序关系 单调函数 格 
计算机围棋中的混合策略
《哈尔滨师范大学自然科学学报》2009年第3期25-28,共4页张利兵 王礼萍 
黑龙江省高等学校教学改革工程项目(200708)
探讨了纳什均衡在计算机围棋博弈策略中的适用问题,并以混合策略为依据,对计算机围棋定式知识表示中普遍使用的模式匹配算法,提出了一种改进方案.
关键词：计算机围棋 混合策略 纳什均衡 定式 模式匹配 
命题逻辑推理的代数化证明被引量：7
《计算机工程与科学》2008年第10期78-81,84,共5页王礼萍 张树功 
哈尔滨学院学科发展基金资助项目(HXK200717)
本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。
关键词：真值函数 赋值 多项式 命题公式 
离散数学与思维训练被引量：1
《科技信息》2008年第30期19-19,共1页王礼萍 徐亚兰 
黑龙江省新世纪高等教育教学改革工程项目2007-8
本文通过大量的实例,从四个方面说明,离散数学教学与思维训练是分不开的。离散数学的教学过程就是思维训练的过程。通过思维训练,提高计算机专业和软件专业学生的编程能力。
关键词：离散数学 思维训练 教学 能力 
“计算机数学”课程的教学研究
《林区教学》2008年第10期13-14,共2页徐亚兰 王礼萍 
为了适应新世纪高等教育的不断改革与发展,就计算机数学中高等数学、线性代数、概率论与数理统计、离散数学、计算方法课程的教学方法提出了几点做法。着重论述如何培养学生的自学能力、分析解决问题的能力和动手及应用能力。
关键词：计算机数学 教学方法 教学研究 
|V(G)|≤4图中色性相同图的性质
《哈尔滨师范大学自然科学学报》2006年第3期25-27,共3页王礼萍 李中范 
黑龙江省自然科学基金项目资助(2004-10);黑龙江省教育厅科学技术研究项目资助(10553025)
将图从|V(G)|=1开始通过重新梳理所有简单图的色性,找到一些色性相同的图.并将|V(G)|=1到|V(G)|=4的简单图色性,按其互补的形式汇总成表格.
关键词：互补图 色多项式 ST类图 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部