论文部分内容阅读
给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合(R)(X).
关于正蕴涵BCK-代数
【摘 要】
：
给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合(R)(X).
【机 构】
：
云南民族大学数学与计算机科学学院,云南昆明,650031云南师范大学计算机科学与信息技术学院,云南昆明,650092;
【出 处】
：
云南民族大学学报(自然科学版)
【发表日期】
：
2007年3期
其他文献
＂顿牟掇芥＂是人们生活中司空见惯的物理现象.在中国东汉时期,当时杰出的思想家、哲学家王充在其所著书籍《论衡》中就有关于电的描述：＂顿牟掇芥＂,顿牟就是琥珀,当琥珀经摩擦后,即
土地利用/土地覆被变化是全球变化研究的重点，是影响陆地碳循环的一个重要因子。该文对黄河三角洲河口地区1992年和1996年9月份的TM影像进行非监督分类，做出该地区土地覆被类型
在物理知识教学中进行科学方法的显性教育,可以采用"知识线"和"方法线"在教学过程中同时展开、并行前进的教育模式.笔者以"力的合成"这节课为例,介绍了如何采用"知法并行"教
本文以人教版《物理》教材(必修1)中课题研究“桥梁的研究”一节为例,谈谈新课程理念下如何发挥每册教材中的“课题研究”的作用,充分调动学生学习的自主性与能动性,开展探究
论证式教学的实质在于将科学领域的论证引人课堂,强调推理、辩论与质疑,以此促进学生理解科学概念和科学本质,促进学生的思维发展;其基本的教学环节为发现问题、引出论题、搜
1问题来源rn(2010年4月第3版人教版物理3-1课本第68页)二极管是非线性元件,它的电阻与通过电流的大小有关.使用不同的多用表,或使用不同倍率的欧姆挡时,即使测量的都是正向电
随着电子技术日新月异的发展,物理实验教学中传统的测量仪器如天平、弹簧测力计等已经越来越不能满足探究性实验对＂快速、准确、连续、自动＂的称量要求.尤其是当前新型单片机的
1主要器材rn(1)8 W日光灯1套,(2)单相交流调压电源(0.5 VA)1台,(3)万用表2块或250 V交流电压表2块.2降压的电源与升压的电器实验设计与研究2.1具体的实验过程与笔者对日光灯
在一些公开课教学、教辅材料及公开发表论文有关电源输出功率PR图像中,存在着作图不精确甚至错误的问题.本文从拐点界定及二阶导数的几何意义阐释,给出P-R正确图像.
In some