论文部分内容阅读
本文讨论了蕴涵BCK—代数的剩余刻划．进一步证明了蕴涵BCK—代数的伴随半群是一个上半格。
关于蕴涵BCK—代数
【摘 要】
：
本文讨论了蕴涵BCK—代数的剩余刻划．进一步证明了蕴涵BCK—代数的伴随半群是一个上半格。
【机 构】
：
运城高专数学系
【出 处】
：
河东学刊：运城高专学报
【发表日期】
：
1999年A06期
其他文献
将黑龙江省玉米自交系吉846和K10与CIMMYT种质Pob45、Pob46杂交构建半外来群体并从中选育改良系,再按原杂交种的组配形式或配制成若干改良杂交组合,对其产量和其他性状进行测
本文推导计算了各种密度分布和角度分布的箔条的平均散射截面，并就各种角分布下的平均ＲＣＳ进行了分析讨论，比较了均匀分布和有倾角分布的箔条的散射特性。给出了散射矩阵各元素的双
介绍了东莞国营大岭山林场公益生态林、工业用材林、牧业建设的经营现状，分析了林场存在的问题，并对其发展方向提出了一些建议，希望对国营林场的经营管理有所借鉴。
在阐述土地荒漠化现状、成因的基础上 ,结合山东省土地荒漠化和林业生态环境建设防治措施之实际 ,论述了林业建设与土地荒漠化的利害关系 ,强调了植树造林、加强林业建设是根本
GPS导航仪是一种手持的轻便卫星定位仪器,具有指导方向和准确定位的功能.在森林资源二类调查中,结合地形图能准确寻找样点位置具有广泛的作用.且方便操作,经抽样测设可以满足
现代素质教育要求在人才培养的过程中,应融知识传授、能力培养和素质提高为一体,因此教学必须与管理相结合.管理对于提高教育质量,实现全面育人目标尤为重要.如何提高教学管
本文分析了微波暗室里使用ＨＰ８５３０１Ｂ雷达截面积测量系统进行了目标雷达截面积测量过程引起隔离误差的激励源及其作用机理。提出了消除隔离误差的，实际测量证明提高了测量精度。