SHEFFER函数

作品数：35被引量：40H指数：5
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：刘任任刘玉珍王婷周小强李舒更多>>
相关机构：湘潭大学中南大学湖南理工学院中南林业科技大学更多>>
相关期刊：《计算机工程》《计算机学报》《计算技术与自动化》《华南师范大学学报（社会科学版）》更多>>
相关基金：国家自然科学基金湖南省自然科学基金湖南省教育厅重点项目湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分多值逻辑函数集中准完备集的分类问题研究
《计算机科学》2014年第8期60-62,共3页王婷 刘任任 马珂 
国家自然科学基金(60673193);湖南省重点学科建设项目(计算机科学与技术);湖南省科技厅计划(2011FJ6038)资助
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。
关键词：多值逻辑 完备性 保关系 准完备集 SHEFFER函数 
部分K值逻辑中完满对称函数集最小覆盖判定的一些结果
《计算机科学》2012年第5期205-207,共3页龚志伟 刘任任 
国家自然科学基金(60673193);中南林业科技大学校青年基金(QJ2010021B)资助
根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函...
关键词：多值逻辑 完备性 SHEFFER函数 完满对称函数集 
部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定被引量：5
《计算机科学》2010年第11期257-260,共4页刘任任 王婷 谭昊勋 
国家基金项目"部分多值逻辑函数结构理论研究"(60673193);湖南省教育厅基金项目"部分多值逻辑中准完备集的分类研究"(10C768)资助
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
关键词：多值逻辑 SHEFFER函数 最小覆盖 
P4^＊中保四元正则可离关系最小覆盖之确定被引量：1
《计算机科学》2009年第9期176-177,192,共3页周小强 刘任任 
国家自然科学基金(606731931);湖南省教育厅重点项目(07A067);湖南省教育厅项目(08C390)资助
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
关键词：多值逻辑 正则可离关系 SHEFFER函数 最小覆盖 
关于部分K值逻辑Sheffer函数(Ⅲ)
《计算机科学》2002年第z1期30-33,共4页刘任任 陈建二 陈松乔 
国家自然科学基金资助项目(60082001).
　　1.引言 　　在多值逻辑结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分.它分别包括完全、部分多值逻辑Sheffer函数的结构与判定,其判定问题与函数系完备性之判定密切相关,并可归结为定出完全与部分多值逻辑中极大...
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部