【摘 要】
:
目的将正则蕴涵算子的概念推广到完备格上。方法利用定义及基本性质。结果研究了完备格上正则蕴涵算子的性质以及与一些重要的逻辑代数之间的关系。结论完备格上的正则蕴涵算
【基金项目】
:
陕西省自然科学基金资助项目(2007A12)
论文部分内容阅读
目的将正则蕴涵算子的概念推广到完备格上。方法利用定义及基本性质。结果研究了完备格上正则蕴涵算子的性质以及与一些重要的逻辑代数之间的关系。结论完备格上的正则蕴涵算子与逻辑代数关系密切,是研究逻辑代数的基础。
其他文献
上海市焊接学会(SWS)自2004年获得美国焊接学会授权资质后,为广大企业、个人举办了多期CWI培训考试班,培训老师丰富精炼的专业知识和认真负责的教学态度获得了广大学员的一致好评
顾见龙是活跃于明末清初的人物画家,兼擅山水、花鸟,在康熙年间曾供奉内廷。关于他的疑年、生平、籍贯、艺术活动、画学传承等基本史料,在以往的文献中,存在着不同版本的记载
随着时代的发展和国家加强现代职业教育体系建设的机遇,新的教育改革全面展开。作为我国母语的“语文”,如何在改革的浪潮中扬帆前行,是摆在语文教育界面前的主要任务,毫无疑
甘蔗,作为草本植物的一种、人们并非鲜见,其茎不仅可以生食,而且是制糖的良好原料。其副产品糖蜜可酿酒、制作酒精;蔗渣可制隔音板、纸浆等。因此,甘蔗成为我国南方广东、广
历史回顾2017年全年聚合MDI产品价格波动剧烈,主要受以下几点驱动:1.自2017年“金三银四”启动后,国内供应商加大淡季出口力度,缓解库存压力;2.五月中旬开始上海装置检修频繁
随着Windows CE平台的不断推陈出新,它在工业控制器、手持式设备、智能电话、机顶盒等设备的应用上越来越广泛,而COM组件技术由于其特有的语言无关性和进程透明性以及可以重
作为在中国社会经济发展中承担重要角色,同时也是目前数量最多、经济比重最大的一类资源型城市,煤炭资源型城市由于煤炭的开发和利用正面临着多种经济、社会和生态问题,亟需
走进成都埃森普特焊接设备有限公司的厂区大门,高高的车间外墙上一排醒目的大字便映入我们的眼帘:"成为中国一流的焊机制造公司",这应该是成都埃森普特总经理苏林先生和他的
高校对于社工人才的培养,不仅要注重培育理论知识,更要重视实践教学的开展。国内的社会工作专业亟待建设有自己特色的教学体系及教育模式。本文倡导通过生情、校情、社情“三
本文研究车身某一点焊接头,借助ANSYS模拟软件,建立了点焊有限元模型,接触区域的电阻以接触电阻率的形式体现,同时考虑了材料相变潜热的影响。在此计算获得了异种钢组成接头的点