SHEFFER函数

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类3值逻辑2元Sheffer函数被引量：1
《华南师范大学学报（社会科学版）》2016年第1期169-175,192,共7页杜国平 
国家社会科学基金重点项目"提高国民逻辑素质的理论和实践探索研究"(13AZX019);国家社会科学基金重大招标项目"应用逻辑与逻辑应用研究"(14ZDB014)
3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:...
关键词：3值逻辑 SHEFFER函数 S型函数 类Ci型Sheffer函数 
部分多值逻辑函数集中准完备集的分类问题研究
《计算机科学》2014年第8期60-62,共3页王婷 刘任任 马珂 
国家自然科学基金(60673193);湖南省重点学科建设项目(计算机科学与技术);湖南省科技厅计划(2011FJ6038)资助
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。
关键词：多值逻辑 完备性 保关系 准完备集 SHEFFER函数 
部分四值逻辑中准完备集的最小覆盖被引量：1
《计算机工程与应用》2012年第23期52-57,76,共7页龚志伟 刘任任 
国家自然科学基金(No.60673193);中南林业科技大学校青年基金(No.QJ2010021B)
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
关键词：多值逻辑 最小覆盖 SHEFFER函数 
部分K值逻辑中完满对称函数集最小覆盖判定的一些结果
《计算机科学》2012年第5期205-207,共3页龚志伟 刘任任 
国家自然科学基金(60673193);中南林业科技大学校青年基金(QJ2010021B)资助
根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函...
关键词：多值逻辑 完备性 SHEFFER函数 完满对称函数集 
关于部分多值逻辑函数集中准完备集的若干性质被引量：1
《计算机学报》2012年第4期754-760,共7页刘任任 王婷 谭昊勋 
国家自然科学基金(60673193);湖南省重点学科建设项目(计算机科学与技术);湖南省科技厅计划(2011FJ6038);湖南省教育厅科学基金(11C1216);湘潭大学自然科学基金(10XZX19)资助
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了...
关键词：多值逻辑 完备性 保关系 准完备集 SHEFFER函数 
部分多值逻辑中保正规关系的准完备集的性质被引量：1
《武汉大学学报（理学版）》2012年第2期135-138,共4页刘任任 罗秋棠 王婷 
国家自然科学基金资助项目(60673193);湖南省科技厅计划项目(2011FJ6038);湖南省教育厅科学基金项目(11C1216);湘潭大学自科基金项目资助(10XZX19)
在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了...
关键词：部分多值逻辑 准完备集 SHEFFER函数 保关系 最小覆盖 
部分四值逻辑中Sheffer函数的判定被引量：1
《计算机工程与应用》2011年第29期140-142,共3页金辉霞 何骞 
湖南省教育厅科学研究课题(No.10C0498)
多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分...
关键词：多值逻辑 SHEFFER函数 准完备集 最小覆盖 
部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定被引量：5
《计算机科学》2010年第11期257-260,共4页刘任任 王婷 谭昊勋 
国家基金项目"部分多值逻辑函数结构理论研究"(60673193);湖南省教育厅基金项目"部分多值逻辑中准完备集的分类研究"(10C768)资助
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
关键词：多值逻辑 SHEFFER函数 最小覆盖 
部分二值逻辑中Sheffer函数的构造与判定算法被引量：4
《计算机工程与应用》2010年第5期28-30,共3页何骞 刘任任 
国家自然科学基金No.60673193;湖南省教育厅重点项目No.07A067~~
在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种...
关键词：SHEFFER函数 准完备集 最小覆盖 
部分三值逻辑中Sheffer函数的判定算法被引量：4
《计算机工程与应用》2009年第19期52-54,57,共4页何骞 刘任任 
国家自然科学基金(No.60673193);湖南省教育厅重点项目(No.07A067)~~
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
关键词：多值逻辑 准完备集 最小覆盖 SHEFFER函数 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部