搜索筛选:
搜索耗时0.0520秒,为你在为你在61,042,059篇论文里面共找到 7 篇相符的论文内容
类      型:
[期刊论文] 作者:龚志伟, 刘任任,, 来源:计算机工程与科学 年份:2013
根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的......
[期刊论文] 作者:龚志伟,刘任任, 来源:计算技术与自动化 年份:2006
根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。...
[期刊论文] 作者:龚志伟,刘任任, 来源:计算机工程与应用 年份:2012
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。...
[期刊论文] 作者:龚志伟 刘任任, 来源:计算技术与自动化 年份:2011
摘 要:为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。  关键词:多......
[期刊论文] 作者:龚志伟,刘任任, 来源:计算机科学 年份:2012
根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的...
[期刊论文] 作者:龚志伟 刘任任, 来源:计算技术与自动化 年份:2006
摘 要:根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。  关键词:多值逻辑;正则可离;相似关系  中图分类号:TP301  文献标识码:A  文章编号:1003—6199(2006)03—0046—02......
[期刊论文] 作者:龚志伟,刘任任,王日中, 来源:计算技术与自动化 年份:2007
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共......
相关搜索: