期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

部分二值逻辑中Sheffer函数的判定 被引量：6

The Decision on Sheffer Functions in Partial Two-valued Logic
下载PDF
导出
摘要 利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。 The minimal coverings are determined by means of the ideal of preserving relation, consequently the simplest method of decision on partial two-valued Sheffer functions is given.This method has important theoretic and practical meaning.
作者 刘任任 陈建二 陈松乔
机构地区 中南大学信息科学与工程学院
出处 《计算机工程》 CAS CSCD 北大核心 2004年第24期19-21,共3页 Computer Engineering
基金 国家自然科学基金资助项目(60083001) 湖南省自然科学基金资助项目(03JJY3099)
关键词 SHEFFER函数 准完备集 最小覆盖 Sheffer function Precomplete set Minimal covering
分类号 TP391 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献2

  • 1Haddad L, Rosenberg I G. Partial Sheffer Operations [J]. Europe J.Combinatorics, 1991, (12): 9-21
  • 2Liu Renren. Some Results on the Decision for Sheffer Functions in Partial K-valued Logic[J]. Multi. Val. Logic, 1996, (1):253-269

同被引文献24

  • 1Ren-RenLiu,Song-QiaoChen,Jian-ErChen,ShuLi.Some Results on the Minimal Coverings of Precomplete Classes in Partial k-Valued Logic Functions[J].Journal of Computer Science & Technology,2004,19(6):981-985. 被引量：11
  • 2许芬.部分四值逻辑单纯可离函数集最小覆盖之判定[J].海南师范学院学报（自然科学版）,2006,19(3):222-224. 被引量：3
  • 3龚志伟,刘任任.关于部分四值逻辑中保2元正则可离关系的分类[J].计算技术与自动化,2006,25(3):46-47. 被引量：4
  • 4KUDRJAVCEV V B. The coverings of precomplete classes of K-valued logic[ J]. Diskretnyi Analiz, 1970,17( 1 ) :32-44.
  • 5LIU Ren-ren. On the categorizing of simply separable relations in partial four-valued logic [ C ]//Proc of Advances in Natural Computation. [ S.l. ] :Springer-Verlag,2005 : 1251-1256.
  • 6LIU Ren-ren. On the categorizing of fully symmetric relations in partial four-valued logic[ C ]//Proc of Advances in Natural Computation. [ S. l. ] : Springer-Verlag,2006:286-289.
  • 7刘玉珍,刘任任.部分K值逻辑中最小覆盖之判定的一些结果[J].计算机工程与应用,2007,43(23):38-39. 被引量：5
  • 8Liu Ren-ren.Some results on the minimal coverings of precomplete classes in partial K-valued logic functions[C] //2003 IEEE Intemational Conference on Systems,Man & Cybernetics,2003,1:2645-2650.
  • 9Liu Ren-ren.Some results on the simply separable function sets in partial K-valued logic[C] //2004 IEEE International Conference on Systems,Man & Cybernetics,2004,1:1238-1242.
  • 10Liu Ren-ren,Wang Ting.Some results on the simply separable function sets in partial K-valued logic[C] //Hague,Netherlands:2004 IEEE International Conference on Systems,Man & Cybernetics,2004.

引证文献6

二级引证文献4

计算机工程
2004年 第24期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部