论文部分内容阅读
Ｈｅｙｔｉｎｇ代数的若干性质黄文平（陕西师范大学数学系，西安７１００６２；作者，男，３６岁，副教授）设Ｌ＝（Ｌ，≤）是一个偏序集，如果Ｌ的每个有限子集Ａ都有上确界（记为∨Ａ）和下确界（记为∧Ａ），则称Ｌ是一个格．这时，空集的上确界与下确界分别是Ａ的最...
Heyting代数的若干性质
【摘 要】
：
Ｈｅｙｔｉｎｇ代数的若干性质黄文平（陕西师范大学数学系，西安７１００６２；作者，男，３６岁，副教授）设Ｌ＝（Ｌ，≤）是一个偏序集，如果Ｌ的每个有限子集Ａ都有上确界（记为∨Ａ）和下确界（记为∧Ａ），则称Ｌ是一个格．这时，空集的上确界与下确界分别
【机 构】
：
陕西师范大学数学系
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
1995年4期
【基金项目】
：
陕西省自然科学基金
其他文献
分析了挤压带钎剂软钎焊丝单线坯挤压模具的结构和工作原理，设计了双线坯挤压模具，使其具有双向出线坯功能。改进的结果表明，双线坯挤压模具具有生产效率高、能耗低、模具磨损少
随着研究方法和实验技术不断的发展，植物遗传多样性的研究工作从形态学水平、细胞学（染色体）水平、生化水平逐渐发展到了DNA分子水平．形态、细胞、生化及DNA等各水平的分析方法，为
超高频ＣＷ主动锁模Ｎｄ：ＹＡＧ激光器的二倍频实验研究白晋涛（西安石油学院基础课部，西安７１００６１；作者，男，３５岁，讲师）众所周知，高功率的绿色激光在远程测距、水下传输、激光照明及高速摄影、全息照相、激光医
U-Boot程序是一个独立的应用软件,其主要功能是对其所支持的处理器进行初始化并随后转到主应用程序.为优化对源代码的使用及提高效率,U-Boot由三部分组成:主引导程序、解压缩
热电极技术自发明以来，已经被应用于电分析化学的多个研究领域。实验表明，由于热电极对扩散层粘度减小与增强对流方面的影响，将对电解质传质速率产生很大促进，同时可去除电极表面
经过广大技术人员的共同努力，中铝西南铝于近日成功试制出第一块7系铝合金方铸锭，填补了国内空白。该类7系高强合金材料，熔铸生产难度大，对内部冶金质量要求极高，此前西南铝专业技
磁场强度与磁介质关系研究李冠成，王鼎军（吉林通化师范学院物理学系吉林通化１３４００２；咸阳师范专科学校物理学系陕西咸阳７１２０００，第一作者，男，３４岁，讲师）１磁场强度与磁化电流及磁荷的关系把看成泊松方程
本研究结合MWNTs-FeуOx复合物和nano-PT的优点成功构建了电流型葡萄糖传感器。采用该法制备的葡萄糖传感器不仅灵敏度高，并且选择性高、响应速度快、稳定性好、制作简单的优