论文部分内容阅读
Heyting代数是一类重要的代数.我们指出Heyting代数定义中的某个条件可略去,从而简化定义.
Heyting代数定义的简化
【摘 要】
：
Heyting代数是一类重要的代数.我们指出Heyting代数定义中的某个条件可略去,从而简化定义.
【机 构】
：
湖北师范学院,云南师范大学
【出 处】
：
湖北师范学院学报：自然科学版
【发表日期】
：
2005年3期
其他文献
以对甲苯磺酸为催化剂，以环己酮和乙二醇为原料合成了环己酮乙二醇缩酮，通过正交实验法，较系统地研究了合成环己酮乙二醇缩酮的影响因素。实验表明：固定环己酮物质的量为0．2mol，在n
自金融系统成立垂直党组织以来，农业银行党委已把党的建设摆上了重要议事日程，各级农行牢牢把握“围绕业务抓党建，抓好党建促业务”的指导成效。但是党建工作乏力的问题仍未得到
江泽民总书记'三个代表'的重要思想,在全国已掀起了一个广泛学习宣传的高潮。为了更好地指导全省农行各级行党组织和干部职工学习,省分行党委宣传部根据中央各报刊发
科技的迅猛发展催生出复制、模拟等科技手段，在技术手段的挤压下，世界原有的原则和体系被无限地符号化、复制化．人们在媒介设置的符号、夸张炫目的商品符号和毫无营养的图像符号
启功（1912年— ），生于北京，满族。字元白，幼年失怙且家境中落，自北京汇文中学中途辍学后，发愤自学。后受业于著名史学家陈垣，专门从事中国文学史、美术史，古代散文、诗选和唐宋词等
从遥感图像分类方法的基本原理入手,介绍了多A gent系统因其智能性和并行计算能力在遥感图像目标识别领域的应用,并将模糊数学、神经网络以及统计学理论与其有机地结合起来,发挥综合系统的整体优势去解决问题。这对今后数据融合技术在图像处理中的研究和应用有很大的意义。
创先争优工作是指在各级党委的领导下，。由各级党组织和全体党员参加的创“先进党组织”和争当“优秀党员”的活动，在社会主义市场经济条件下，它对于发挥党支部的战斗堡垒作用和
素质的编辑是期刊质量重要保证。加强学术期刊编辑的继续教育就是要不断提高学术期刊编辑的政治理论素养，保证学术期刊政治质量；不断更新学术期刊编辑科学文化知识、完善他们的
手稿学的兴起是纸媒文化时代的产物，对手稿的高度重视除了多种具体的学科需要和学术原因外，最重要的是文化原因，它是前现代社会对精神生产者崇化和神化的突出表征。电媒时代手稿