论文部分内容阅读
本文概括了分配律在集合论、数理逻辑、偏序集中的表现形式及其相应的证明方法,并通过介绍论域理论的相关知识,给出Heyting代数关于取元素上确界和下确界运算满足分配律的特殊证明方法.
分配律在几种不同领域中的表现形式及证明方法
【摘 要】
：
本文概括了分配律在集合论、数理逻辑、偏序集中的表现形式及其相应的证明方法,并通过介绍论域理论的相关知识,给出Heyting代数关于取元素上确界和下确界运算满足分配律的特
【机 构】
：
中央民族大学理学院
【出 处】
：
中央民族大学学报：自然科学版
【发表日期】
：
2009年S1期
其他文献
10月18日,浒坑钨矿的重点转产项目——有色宜春微晶玻璃花岗岩厂初步设计通过有色南昌公司组织的审定并动工兴建。微晶玻璃花岗岩是一种以矿山尾砂为主要原料生产出的新型高
目的探讨ERAS理念对Ⅱ~Ⅲ期结直肠癌围术期患者的临床疗效、免疫应激反应及生活质量的影响分析。方法选取Ⅱ~Ⅲ期结直肠癌患者120例,随机分为两组,对照组60例接受常规围术期
以湖北四所高校在职英语教师为调查对象,探讨大学英语教师工作压力现状和应对方式及其关系,得出如下的结论：（1）大学英语教师工作压力位于“轻度”和“中度”之间;（2）大学英语教师
《小学数学新课标》指出：“数学是人们生活、劳动和学习必不可少的工具”，“数学教学必须从学生熟悉的生活情境和感兴趣的事物出发，为他们提供观察与操作的机会，使学生体会到数学
品种来源:母本92W93(湘33)源于IRRI,父本GER-3源于湖南农业大学培育的水稻新品系.1993年配组,1994～1996年加代,1997年品比,编号为9724,1998年参加湖南省联合品比试验,1999～2000
期刊
远程开放教育的学习符合社会发展、学生成长、知识增长和技术进步的综合要求。远程开放教育的学习,充分重视非正式学习的潜能和作用,能够实现正式学习和非正式学习的有机统一
极大平面图G=(V,E)中的一个二色树子图T=(Vt,Et),其Vt在G中导出子图为树,并且图G存在至少一个四着色C,使T是该四着色一个二色子图的一个连通支.本文证明了Vt的点次和为偶数是
随着科技的进步,计算机已经广泛应用到各个行业,在平面设计领域,计算机也已得到大量的应用,而与此相关的软件也应运而生,层出不穷,这中间的佼佼者无疑是美国Adobe公司的Photo
待咪咪走后,狼三少下令道：＂军师,由你率领两万弓箭手继续在此封锁谷口,其余部队全都跟我到青龙山下的空旷地去,这次我要好好和狐小妹决一胜负.出发!＂机灵猴担忧道：＂大王,狐小妹诡
首先给出了混沌同步的定义,又简要介绍了两种现有的混沌同步方法,然后提出一种新的混沌同步方法,并针对连续和离散两类混沌系统分别介绍这种混沌同步的设计方法,最后对未来混