切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
多值逻辑代数的一个注记
多值逻辑代数的一个注记
来源 :高等数学研究 | 被引量 : 0次 | 上传用户:alivealive
【摘 要】
:
给出多值逻辑代数的一条性质(x-y)∧(y-x)=0的新证明.
【作 者】
:
孟彪龙
【机 构】
:
西安科技大学基础部
【出 处】
:
高等数学研究
【发表日期】
:
2008年4期
【关键词】
:
多值逻辑代数
完备性定理
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出多值逻辑代数的一条性质(x-y)∧(y-x)=0的新证明.
其他文献
“泛函分析”教学方法探讨
在教学课时数减少的条件下,精选教材,优化内容是提高泛函分析教学效果的前提,采取好的教学方法,提高课堂教学效率是关键,结合教学,培养学生的创新意识和能力是符合国家对大学
期刊
泛函分析
教学方法
创新意识
萱藻丝状体诱导培养及采苗研究
对萱藻Scytosiphon lomentaria丝状体诱导培养及采苗进行了研究。在室内培养条件下,从萱藻盘状孢子体上获得了丝状体并游离培养成直径为1~2cm的藻团,采用将丝状体切碎的方法获得
期刊
萱藻
丝状体
室内培养
采苗
Scytosiphon lomentaria
filament
indoor cuhure
seedling
基于图像处理技术的海洋微藻数量统计方法
根据海洋微藻显微图像的特点,利用图像处理技术给出了自动统计海洋微藻数量的方法。该方法首先对微藻图像进行小波去噪,并对去噪后的图像通过形态学的膨胀运算进行增强;然后利用最大类间方差法和形态学的开运算对增强后的图像进行分割;最后对分割后的二值图像进行微藻区域标记,统计出在图像中的微藻数量,进而计算出水体中微藻的浓度。利用本文中所给出的方法编写了海洋微藻数量自动统计软件,仿真试验结果表明,该方法有效、可
期刊
海洋微藻
图像处理
微藻数量统计
最大类间方差法
marine alga; image processing; alga number counting; Ot
巧妙设计线性代数习题
通过具体实例的设计与求解,深化对向量组的最大线性无关组、最大线性无关组的不唯一性、向量组的线性表示等知识的理解,同时展示这部分知识在实际中的一种应用。增强学生应用所
期刊
线性代数
最大线性无关组
线性表示
习题
中国与阿尔巴尼亚关系发展历程及其经验教训
中国与阿尔巴尼亚建交65年来,两国关系大起大落,几经波折.在中阿关系跌宕起伏的过程中,意识形态始终是影响中阿关系走势的主因.中阿关系给我们的经验教训是:应客观看待对阿政
期刊
中国与阿尔巴尼亚关系
中国对外援助
中国外交
《高等代数》中一处证明的简化
通过分析某《高等代数》常用教材中线性空间直和分解定理的证明过程,指出其在叙述上存在的问题,给出该定理的一种简化证明,使读者能更清晰地理解证明过程。
期刊
高等代数
定理证明
简化
边坡生态工程技术现状综述及展望
随着现代科学技术的发展和人类保护环境意识的加强,边坡防护技术已经由单纯的工程防护转向生态防护,显现良好的经济效益、环境效益和社会效益。本文介绍了边坡生态工程技术的原
期刊
植被重建
边坡生态工程技术
原理
水利工程项目远程在线管理服务系统研发与应用
水利工程项目在线管理服务系统为不同水利工程施工企业提供一个水利工程项目在线管理服务平台,帮助水利施工企业提高项目的科学管理水平。本文论述了该系统的功能、设计原则
期刊
水利工程
项目管理
远程在线
管理服务系统
其他学术论文