论文部分内容阅读
给出多值逻辑代数的一条性质（x-y）∧（y-x）=0的新证明．
多值逻辑代数的一个注记
【摘 要】
：
给出多值逻辑代数的一条性质（x-y）∧（y-x）=0的新证明．
【机 构】
：
西安科技大学基础部
【出 处】
：
高等数学研究
【发表日期】
：
2008年4期
其他文献
在教学课时数减少的条件下,精选教材,优化内容是提高泛函分析教学效果的前提,采取好的教学方法,提高课堂教学效率是关键,结合教学,培养学生的创新意识和能力是符合国家对大学
对萱藻Scytosiphon lomentaria丝状体诱导培养及采苗进行了研究。在室内培养条件下，从萱藻盘状孢子体上获得了丝状体并游离培养成直径为1～2cm的藻团，采用将丝状体切碎的方法获得
据斯坦福大学官方网站消息，世界知名概率学家、华裔数学家、斯坦福大学数学系前系主任钟开莱先生，于6月2日在菲律宾辞世，享年92岁．
根据海洋微藻显微图像的特点,利用图像处理技术给出了自动统计海洋微藻数量的方法。该方法首先对微藻图像进行小波去噪,并对去噪后的图像通过形态学的膨胀运算进行增强;然后利用最大类间方差法和形态学的开运算对增强后的图像进行分割;最后对分割后的二值图像进行微藻区域标记,统计出在图像中的微藻数量,进而计算出水体中微藻的浓度。利用本文中所给出的方法编写了海洋微藻数量自动统计软件,仿真试验结果表明,该方法有效、可
通过具体实例的设计与求解，深化对向量组的最大线性无关组、最大线性无关组的不唯一性、向量组的线性表示等知识的理解，同时展示这部分知识在实际中的一种应用。增强学生应用所
中国与阿尔巴尼亚建交65年来,两国关系大起大落,几经波折.在中阿关系跌宕起伏的过程中,意识形态始终是影响中阿关系走势的主因.中阿关系给我们的经验教训是：应客观看待对阿政
HBC-1型组合式多功能修剪机是在滨州黄河水利维修养护工程中创新应用的机具,应用效果实践证明了其优越的性能。本文主要介绍了该修剪机的组件功能、技术性能参数、安装与应用
通过分析某《高等代数》常用教材中线性空间直和分解定理的证明过程，指出其在叙述上存在的问题，给出该定理的一种简化证明，使读者能更清晰地理解证明过程。
随着现代科学技术的发展和人类保护环境意识的加强，边坡防护技术已经由单纯的工程防护转向生态防护，显现良好的经济效益、环境效益和社会效益。本文介绍了边坡生态工程技术的原
水利工程项目在线管理服务系统为不同水利工程施工企业提供一个水利工程项目在线管理服务平台,帮助水利施工企业提高项目的科学管理水平。本文论述了该系统的功能、设计原则