李舒

作品数：3被引量：6H指数：1
导出分析报告
供职机构：深圳大学信息工程学院更多>>
发文主题：SHEFFER函数极大封闭集多值逻辑数集V更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《计算技术与自动化》更多>>
所获基金：国家自然科学基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于部分K值逻辑Sheffer函数(Ⅳ)
《长沙交通学院学报》2004年第4期3-7,共5页李舒 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集 
关于部分K值逻辑Sheffer函数(V)
《计算技术与自动化》2004年第3期37-39,共3页李舒 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)。
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在P k的准完备集之最小覆盖中必出现。
关键词：SHEFFER函数 完备性 数集 对称 证明 关系图 多值逻辑 理论 根据 K值 
关于部分K值逻辑Sheffer函数(III)被引量：6
《湘潭大学自然科学学报》2002年第3期44-48,共5页李舒 刘任任 
国家自然科学基金资助项目 (60 0 83 0 0 1)
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .
关键词：部分K值逻辑 部分多值逻辑 完备性 SHEFFER函数 极大封闭集 单纯可离函数集 最小覆盖 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部