论文部分内容阅读
根据部分多值逻辑的完备性理论[罗铸楷等]，证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现．
关于部分K值逻辑Sheffer函数（IV）
【摘 要】
：
根据部分多值逻辑的完备性理论[罗铸楷等]，证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现．
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金资助项目 (60 0 83 0 0 1) ,,湖南省自然科学基金资助项目 (0 3JJY3 0 99)
其他文献
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在P*K中极大封闭集之最小覆盖中必需出现.
给出了正定Ｈｅｒｒｎｉｔｅ矩阵行列式的Ｍｉｎｄｏｗｓｋｉ不等式和Ｏｓｔｒｏｗｓｋｉ－Ｔａｕｕｓｈｙ不等式在亚正定矩阵上的推广，改进了近期的一些结果。
采用遗传进化技术和多智能体技术相结合的方法，实现了基于粗粒度的并行GA，该方法有利于改进遗传算法的性能，提高遗传算法搜索的效率，文中讨论的并行模型，最大的特点是通讯开销小。
伴随新课改的深入,足球教学受到外界越来越多的关注。小学作为培养学生足球技术的关键性阶段,制定合理、科学教学办法非常重要。农村学校中的体育课,虽然不及城市学校体育课
2001年修正的《婚姻法》与2003年修正的《婚姻登记条例》对登记离婚制度进行了一系列改革。新婚姻登记条例简化了离婚登记手续,体现了“服务”、“自由”和“平等”的特色。
“我有20多年党龄,入党誓词背得很熟,但是在行动上没有做到具体落实。作为一名党员干部,尤其是部门一把手,平时不严格要求自己,长期缺乏党性锻炼,不能用正确的思想观念武装头
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
技术开发单位中国船舶重工集团公司第七一二研究所技术简介船舶综合电力推进系统主要由柴油发电机组、变压器、变频器、推进电动机等核心设备组成，具有节能降耗、低噪音振动、
本文结合现阶段国内学校全面普及各类体育运动教学与增强学生体质的背景,针对排球运动的教学进行思考研究。通过学习学校排球教学教案并研究其具体的教学过程,本文由内而外地
信用证是国际贸易中重要的结算支付工具,因其设计精巧而被称为“天才的创造”,对国际贸易的快速发展发挥了巨大的推动和保障作用。信用证所取得的巨大成功归于其所特有的独立