切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Heyting代数中同余关系的简化
Heyting代数中同余关系的简化
来源 :河北科技大学学报 | 被引量 : 0次 | 上传用户:zoeshuwen88
【摘 要】
:
给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化
【作 者】
:
杨静梅
冯爽
姚卫
【机 构】
:
河北科技大学理学院,河北科技大学教务处
【出 处】
:
河北科技大学学报
【发表日期】
:
2012年6期
【关键词】
:
HEYTING代数
滤子
同余关系
Heyting algebra filter congruence relation
【基金项目】
:
国家自然科学基金资助项目(11201112),河北省自然科学基金资助项目(A2010000826),河北省教育厅优秀青年基金资助项目(Y2012020)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。
其他文献
Zn—Cr—C合金镀层钢板
概述了镀层附着性优良的Zn-Cr-C合金镀层钢板的制造方法,此种镀层钢板作为防锈钢板适用于汽车车身等使用 。
期刊
Zn-Cr-C合金
镀层附着性
汽车车身
镀层钢板
zn-Cr-C alloyplating adhesionstrength of stripping
一个光纤连接的智能世界——富通集团承办2018世界光纤光缆大会
近日,由CRU(英国商品研究所)和富通集团联合主办的2018世界光纤光缆大会在杭州举行。中国工程院院士邬贺铨出席大会开幕式并作主旨报告,浙江省政协副主席陈铁雄,浙江省工商联
期刊
光纤光缆
世界
光纤连接
中国工程院院士
智能
开幕式
市场展望
研究所
在跑台上以不同的速度和坡度慢跑时足底压力分布的性别比较
旨在探讨在跑台上以不同的速度和坡度跑步时足底压力分布的性别差异,采用Medilogic Insole Measurement足底压力测试系统(德国)测量足底各区的压强峰值及接触时间等足底压力参
期刊
慢跑
足底压力
坡度
速度
性别比较
成都亨通参展四川电信电视节 隐形光缆及8字缆等新品助力全光网建设
随着"宽带中国光网四川"建设的实施推进,四川电信依托强大的光网基础,创新发展模式,与家电厂商、IT企业、内容提供商等产业链合作,联手打造基于光网高带宽接入的电信电视,掀起
期刊
四川电信
影视文化
全光网
杜比
智能家电
信息消费
新发展模式
家庭影院
中国光
提供商
节能型汽车发动机
德国的凯撒斯劳腾大学的科学家们研制出一种新的汽车发动机,能够节省一半的燃料,并能大量减少有害气体的排放。这种发动机的主要特点是,汽车一旦发动起来就主要靠惯性前进,不
期刊
汽车发动机
驱动轮
节能型
有害气体
离合器
内燃机
主要特点
加速踏板
驾驶员
继续运转
MATLAB功能拓展的JAVA实现
MATLAB提供了很全面的各个领域的解决方案,但在实际使用时常会碰到MATLAB没有现成解决方案的情况。本文通过分析MATLAB工具箱的组织框架及Mathworks公司提供的在MATLAB上实现M
期刊
MATLAB混合编程
Javajar包
浅谈提高中职数控专业实训效率的措施
数控技术发展的日新月异,各职业院校越来越重视学生技能水平的提高,不断增加学生的实训课时,使学生技能得到了快速提高。笔者结合当前数控实训存在的问题,提出了有效提高学生数控
期刊
数控
数控仿真
实训项目
效率
亨通获评中国工业首台(套)重大技术装备示范项目
7月15日,由工业和信息化部指导、中国工业经济联合会支持,中国工业报社主办,主题为“深化供给侧结构性改革,全面实施中国制造2025”的第十三届中国工业论坛在北京隆重召开,会议发
期刊
中国工业经济联合会
重大技术装备
示范项目
智能制造
光纤预制棒
中国制造
生产方式
实体经济
论KFRP圆整度对蝶缆质量的影响
由于KFRP本身有着良好的机械性能,而且满足蝶形引入光缆行业标准,所以受到三大运营商的欢迎。经我司长期生产发现,KFRP的圆整度对于蝶形光缆的质量有很大的影响,本文结合KFRP
期刊
蝶形光缆
KFRP
圆整度
涂覆
粘结力
论历史新课程“过程”目标的实施
随着课程使命的变化和史学观念的演变,中学历史课程的价值取向发生了重大转变,“过程”成为历史新课程的重要目标之一。采用过程性教学的方法,是有效落实历史新课程“过程”目标
期刊
历史课程
新使命
史学观念
"过程"目标
过程性教学
与本文相关的学术论文