论文部分内容阅读
根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类正则可离函数集在Ｐ＾＊Ｋ中极大封闭集之最小覆盖中必需出现。
关于部分K值逻辑Sheffer函数（Ⅰ）
【摘 要】
：
根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类正则可离函数集在Ｐ＾＊Ｋ中极大封闭集之最小覆盖中必需出现。
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
2000年3期
【基金项目】
：
湖南省自然科学基金!资助项目 (97JJN2 0 2 7)
其他文献
针对目前流化床载体在生物挂膜过程中存在密度大、流态化能耗高、孔隙率低、亲水性及生物亲和性差、挂膜周期长等缺点，采用界面聚合发泡法制得亲水性聚合物多孔载体，通过接枝葡
手绘电气草图识别输入有益于电路设计者开拓思路,把握全局,提高设计效率,是现代CAD技术的重要发展内容,各类相关成果不断出现,但总还是存在识别率不高、速度较慢,或者手绘约束太多的等问题.结合构成电气符号草图绘制笔画的形状和RBF神经网络逼近特性好,无局部最小,收敛速度较快且拓扑结构简单等优点,该文研究基于RBF神经网络的在线手绘电气草图分类方法.特征按结构特征和关系特征分类处理与应用,并由此构建两级
离婚自由原则是婚姻法中确立的基本原则。赋予婚姻当事人双方离婚自由,是对当事人意思的尊重,也是现代离婚法的必然要求。尊重婚姻当事人双方的离婚自由,使得那些难以维持下
海城高跷秧歌作为首批国家级非物质文化遗产,享誉中外。追踪它的历史,形成于清末民初的牛庄海运盛世,发展于民国庙会参杂的狂欢与日常,成熟转化于建国之后的乡土社会,变异创
在不同的供氧模式下，研究了SBR法处理低碳源城市污水同步硝化反硝化（SND）过程中DO、ORP和pH的变化规律．试验结果显示，在恒定气量连续曝气反应过程中，DO、ORP和pH曲线上均出现了预示
本文就高校体育训练中伤害防护工作的价值和训练中存在的问题进行分析,并给出了一系列高校体育训练中伤害防护策略,如优化教学方法、重视课前拉伸活动、定期养护训练设备等,
随着素质教育理念的推行,更加注重学生的身心健康发展强调,体育教学的作用,让学生在体育课堂中提升综合素质,身心健康发展。而就目前来看,体育教学中"课课练"整体的情况不是
在体育场地器材严重不足的状况下,体育课多班同堂教学在中小学校是一个普遍现象,特别是规模较大的城区学校,多班同堂教学问题十分突出,它是影响体育教学质量的重要因素。为有
背景与目的骨髓间充质干细胞(marrow mesenchymal stem cells, MSCs),是一类具有多向分化潜能干细胞。MSCs具有很强的自我更新、多向分化能力,在不同的条件下即可以向中胚层