论文部分内容阅读
有界BCK代数是一个具有最大元和最小元的偏序集,是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在有界BCK代数和关联BCK代数概念的基础上,讨论了有界关联BCK代数的性质,给出了有界关联BCK代数的格刻画.
有界关联BCK代数的性质与刻画
【摘 要】
：
有界BCK代数是一个具有最大元和最小元的偏序集,是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在有界BCK代数和关联BCK代数概念的基础上,讨论了有界关联BCK代数的性质,给
【机 构】
：
昆明理工大学理学院
【出 处】
：
昆明理工大学学报：理工版
【发表日期】
：
2004年4期
【基金项目】
：
云南省教育厅资助项目
其他文献
用有限元方法仿真承载桩在打入地下过程中, 对其周围土体的影响. 用DP材料来模拟土体, 用DP准则为判据, 在受力区外围采用无限元模型, 以ANSYS有限元分析软件为工具, 以动画
论述了为大批量检测半导体晶片的霍尔系数、电阻率、载流子浓度和迁移率等电学参数而组建的由三台Ｋｅｉｔｈｌｅｙ公司的带ＧＰＩＢ接口仪器和一套Ｏｘｆｏｒｄ公司的带ＲＳ－２３２接口仪器组成的霍尔自动测试系统；使用Ｂｏｒｌａｎｄ公司的可视化快速应用程序开发工具Ｃ＋＋Ｂｕｉｌｄｅｒ开发了霍尔自动测试软件，该软件具有典型Ｗｉｎｄｏｗｓ程序那样的全中文图形用户界面、菜单驱动的集成工作环境和完整的ｄＢＡＳＥ数据库管
《中国教育改革和发展纲要》指出：“中小学要由应试教育转向全面提高国民素质的轨道，面向全体学生，全面提高学生的思想道德、文化科学、劳动技能和身体心理素质，促进学生生动活泼地发展。”如今，素质教育已成为基础教育改革的主旋律，全面实施素质教育是培养学生各方面能力，发展学生个性的重要举措。 素质教育初中教育学生个性发展一、实施素质教育势在必行 国运兴衰，系于教育；教育振兴，全民有责。面对着世界科技迅速
怎样把一篇稿件播得声情并茂，深入人心，让广大观（听）众喜闻乐见受欢迎，是每一个播音员努力的方向。播音员如何表达稿件内容，关系到一家电视台（广播电台）的外在形象与节目播出质量。在观看（收听）了多家电视台（广播电台）的播音后，结合自己多年来的播音经验，特提出自己对播好一篇稿件的见解。 播音员稿件技巧一、播音在电视广播中的重要作用 播音是电视广播的“门面”。播音发声的美，是有助于传情达意的美。一个观
高职院校高等数学选修课文化赏析作为一种高职院校的一门选修课程，为适应高专教育教学的需要，更加充分地体现出它的作用及与实际应用的结合，老师必须全面而系统地做好高等数学文化赏析在高职教育教学中的课程任务的改革。本文结合高职院校高等数学教学的特点，对于高职高等数学教学改革提出几点建议，并在实际工作中取得不错效果，为高职数学教学工作起到一定作用。 文化赏析 高数课程改革 高职教育 一、开设“数学文化赏
应用G-P法计算气-液-固三相流中的分维,计算发现,不合自点对的相关积分尽管受噪声的干扰,但却显露了点对距离ε趋于ε0时的特性.若用含自点对的相关积分计算,虽然无标度区明